Skip to content
Test

run booster with --no-fallback-simplify --no-post-exec-simplify #1413

Sign in to view logs

run booster with --no-fallback-simplify --no-post-exec-simplify

run booster with --no-fallback-simplify --no-post-exec-simplify #1413

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
4s
Version Bump
4s
Code Quality Checks
2m 3s
Code Quality Checks
2m 3s
Build and Test lemmas
45m 15s
Build and Test lemmas
45m 15s
Kmxwasm booster tests
47m 44s
Kmxwasm booster tests
47m 44s
Kasmer claim generation tests
49m 37s
Kasmer claim generation tests
49m 37s
Kmxwasm integration tests
46m 51s
Kmxwasm integration tests
46m 51s
Nix (self-hosted, linux, normal)
1s
Nix (self-hosted, linux, normal)
57m 3s
Smoke tests
1h 12m 16s
Smoke tests
1h 12m 16s
Nix (self-macos-14)
56m 47s
Nix (self-macos-14)
56m 47s
11h 38m 18s