Skip to content
Test PR

Avoid PUSH data when computing jumpdests #9361

Sign in to view logs

Avoid PUSH data when computing jumpdests

Avoid PUSH data when computing jumpdests #9361

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code Quality Checks
1m 55s
Version Bump
9s
Build and Test KEVM concrete execution
14m 53s
Build and Test KEVM proofs (test-prove-kprove, 45)
8m 40s
Build and Test KEVM proofs (test-prove-pyk, 180)
1h 29m 25s
Profiling
2m 14s
Unit Tests
1m 41s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
1h 11m 38s
Nix (normal)
7m 59s
Nix (macos-13)
26m 51s
Nix (ARM64)
5m 26s
3h 50m 51s