Skip to content
Test PR

Avoid PUSH data when computing jumpdests #9373

Sign in to view logs

Avoid PUSH data when computing jumpdests

Avoid PUSH data when computing jumpdests #9373

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code Quality Checks
1m 50s
Version Bump
7s
Profiling
2m 17s
Build and Test KEVM proofs (test-prove-kprove, 45)
16m 1s
Build and Test KEVM proofs (test-prove-pyk, 180)
35m 6s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
35m 5s
Unit Tests
1m 48s
Nix (normal)
8m 12s
Build and Test KEVM concrete execution
16m 57s
Nix (macos-13)
25m 10s
Nix (ARM64)
4m 33s
2h 27m 6s