Skip to content
Test PR

Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin #8678

Sign in to view logs

Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin

Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin #8678

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
15s
Code Quality Checks
1m 53s
Build and Test KEVM concrete execution
9m 6s
Profiling
12m 3s
Build and Test KEVM proofs (test-prove-kprove, 45)
12m 4s
Unit Tests
2m 31s
Build and Test KEVM proofs (test-prove-pyk, 180)
12m 5s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
5m 25s
Nix (normal)
7m 52s
Nix (macos-13)
10m 34s
Nix (ARM64)
8m 53s
1h 22m 41s