Skip to content
Test PR

Have <jumpDests> as Bytes instead of Set #9443

Sign in to view logs

Have <jumpDests> as Bytes instead of Set

Have <jumpDests> as Bytes instead of Set #9443

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code Quality Checks
1m 58s
Version Bump
7s
Profiling
2m 29s
Build and Test KEVM proofs (test-prove-kprove, 45)
7m 14s
Unit Tests
2m 14s
Build and Test KEVM concrete execution
11m 1s
Build and Test KEVM proofs (test-prove-pyk, --no-use-booster, 180)
1h 25m 32s
Build and Test KEVM proofs (test-prove-pyk, 150)
1h 2m 13s
Nix (normal)
5m 46s
Nix (macos-13)
18m 58s
Nix (ARM64)
5m 37s
3h 23m 9s