Skip to content
Test PR

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
14s
Code Quality Checks
1m 49s
Profiling
7m 33s
Build and Test KEVM concrete execution
32m 22s
Unit Tests
9m 41s
Nix (normal)
10m 15s
Nix (macos-13)
27m 28s
Build and Test KEVM proofs (test-prove-kprove, 45)
23m 31s
Build and Test KEVM proofs (test-prove-pyk, 180)
1h 20m 5s
Nix (ARM64)
8m 11s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
48m 58s
4h 10m 7s