Skip to content
Test

Build new kasmer tool as a flake #1270

Sign in to view logs

Build new kasmer tool as a flake

Build new kasmer tool as a flake #1270

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
9s
Code Quality Checks
14s
Build and Test lemmas
1s
Kmxwasm integration tests
1s
Smoke tests
1s
Kasmer claim generation tests
1s
Kmxwasm booster tests
1s
Nix
1s
29s