fix inconsistent use of the '_:_WS' klabel #6128
Triggered via pull request
September 4, 2023 13:11
Status
Cancelled
Total duration
42m 52s
Artifacts
–
test-pr.yml
on: pull_request
Version Bump
6s
Unit Tests
2m 26s
Profiling
12m 2s
Build and Test KEVM concrete execution
21m 27s
Build and Test KEVM haskell proofs
40m 42s
Build and Test KEVM haskell proofs (booster)
40m 45s
Build and Test KEVM Foundry proofs
9m 3s
Build and Test KEVM Foundry proofs (booster)
12s
Build Ubuntu Jammy DockerHub Image
18m 7s
Matrix: Nix
Annotations
9 errors
Build and Test KEVM Foundry proofs (booster)
Needed a single revision
|
Build and Test KEVM Foundry proofs (booster)
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
Build and Test KEVM Foundry proofs (booster)
The process '/usr/bin/git' failed with exit code 1
|
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 1.
|
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
|
Build and Test KEVM haskell proofs
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2057/merge' exists
|
Build and Test KEVM haskell proofs
The operation was canceled.
|
Build and Test KEVM haskell proofs (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2057/merge' exists
|
Build and Test KEVM haskell proofs (booster)
The operation was canceled.
|