Update dependency: deps/pyk_release #5241
test-pr.yml
on: pull_request
Version Bump
10s
Matrix: Nix
Unit Tests
2m 19s
Profiling
2m 41s
Build and Test KEVM concrete execution
34m 9s
Build and Test KEVM haskell proofs
8m 46s
Build and Test KEVM Foundry proofs
3m 55s
Build and Test KEVM Foundry proofs (booster)
1h 57m
Build Ubuntu Jammy DockerHub Image
27m 51s
Annotations
4 errors
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
|
Build and Test KEVM haskell proofs
Process completed with exit code 2.
|
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
|
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.
|