Skip to content
Test

Mark updateSparseBytes(setRange) as preserving definedness, add #signed simplification #1405

Sign in to view logs

Mark updateSparseBytes(setRange) as preserving definedness, add #signed simplification

Mark updateSparseBytes(setRange) as preserving definedness, add #signed simplification #1405

Run time

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