Skip to content
Test Workspace

fix(test-harness): hax-engine-names-extract needs hax in PATH #1972

Sign in to view logs

fix(test-harness): hax-engine-names-extract needs hax in PATH

fix(test-harness): hax-engine-names-extract needs hax in PATH #1972

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-workspace (macos-latest)
1m 40s
no-std-lib
52s
test-workspace (ubuntu-latest)
2m 1s
test-workspace (windows-latest)
3m 16s
7m 49s