Improved digest and proof version handling #6201
test-pr.yml
on: pull_request
Version Bump
8s
Unit Tests
1m 55s
Profiling
11m 12s
Build and Test KEVM concrete execution
25m 7s
Build and Test KEVM haskell proofs
1h 15m
Build and Test KEVM haskell proofs (booster)
1h 13m
Build and Test KEVM Foundry proofs
1h 46m
Build and Test KEVM Foundry proofs (booster)
17m 32s
Build Ubuntu Jammy DockerHub Image
17m 48s
Matrix: Nix
Annotations
1 error
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
|