Skip to content
Test PR

Replace klabel(_) and symbol attrs with symbol(_) #9412

Sign in to view logs

Replace klabel(_) and symbol attrs with symbol(_)

Replace klabel(_) and symbol attrs with symbol(_) #9412

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
6s
Code Quality Checks
2m 11s
Unit Tests
2m 24s
Build and Test KEVM concrete execution
14m 53s
Profiling
2m 11s
Nix (normal)
7m 55s
Nix (macos-13)
26m 45s
Build and Test KEVM proofs (test-prove-kprove, 45)
11m 42s
Nix (ARM64)
5m 47s
Build and Test KEVM proofs (test-prove-pyk, 180)
1h 28m 23s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
1h 33m 40s
4h 15m 57s