Fixing incorrect passing proof reporting #5858
Triggered via pull request
August 22, 2023 15:42
Status
Failure
Total duration
1h 14m 27s
Artifacts
–
test-pr.yml
on: pull_request
Version Bump
6s
Unit Tests
1m 43s
Profiling
7m 18s
Build and Test KEVM concrete execution
25m 48s
Build and Test KEVM haskell proofs
1h 12m
Build and Test KEVM Foundry proofs
8s
Build and Test KEVM Foundry proofs (booster)
39m 23s
Build Ubuntu Jammy DockerHub Image
11m 27s
Matrix: Nix
Annotations
9 errors
Build and Test KEVM Foundry proofs
Process completed with exit code 1.
|
Build and Test KEVM Foundry proofs
Needed a single revision
|
Build and Test KEVM Foundry proofs
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
Build and Test KEVM Foundry proofs
The process '/usr/bin/git' failed with exit code 1
|
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.
|
Nix (normal)
The job running on runner github-runner-26 has exceeded the maximum execution time of 60 minutes.
|
Nix (normal)
The operation was canceled.
|
Nix (macos-13)
The job running on runner GitHub Actions 4 has exceeded the maximum execution time of 60 minutes.
|
Nix (macos-13)
The operation was canceled.
|