Update dependency: deps/pyk_release #5319
Triggered via pull request
August 4, 2023 23:16
Status
Failure
Total duration
1h 29m 49s
Artifacts
–
test-pr.yml
on: pull_request
Version Bump
10s
Matrix: Nix
Unit Tests
2m 2s
Profiling
2m 14s
Build and Test KEVM concrete execution
28m 38s
Build and Test KEVM haskell proofs
1h 27m
Build and Test KEVM Foundry proofs
3m 10s
Build and Test KEVM Foundry proofs (booster)
32m 32s
Build Ubuntu Jammy DockerHub Image
39m 29s
Annotations
2 errors
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
|
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.
|