Skip to content
release

Bat file to run Apalache on Windows #1490

Sign in to view logs

Bat file to run Apalache on Windows

Bat file to run Apalache on Windows #1490

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cut-release
0s
0s