Skip to content
Test

EXPERIMENT: refactored get buffer on top of remove-mapint2int #1348

Sign in to view logs

EXPERIMENT: refactored get buffer on top of remove-mapint2int

EXPERIMENT: refactored get buffer on top of remove-mapint2int #1348

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
8s
Version Bump
5s
Code Quality Checks
1m 55s
Code Quality Checks
1m 56s
Kmxwasm booster tests
20m 51s
Kmxwasm booster tests
29m 56s
Build and Test lemmas
19m 3s
Build and Test lemmas
37m 23s
Kmxwasm integration tests
14m 5s
Kmxwasm integration tests
22m 53s
Kasmer claim generation tests
13m 55s
Kasmer claim generation tests
30m 11s
Nix (self-hosted, linux, normal)
33m 49s
Nix (self-hosted, linux, normal)
37m 46s
Nix (self-macos-14)
25m 18s
Nix (self-macos-14)
22m 42s
Smoke tests
31m 30s
Smoke tests
35m 52s
6h 19m 18s