Skip to content

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

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

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

Proofs: Rules (booster-dev)

succeeded Nov 8, 2024 in 12m 12s
Set up job
1s
Set up runner
1s
Check out code
1s
Check out select submodules
14s
Set up Docker
46s
Build kevm-pyk
5s
Build distribution
1m 29s
Run proofs
9m 28s
Tear down Docker
0s
Post Check out code
0s
Complete runner
0s
Complete job
0s