Execution of contract initialization code #6203
Triggered via pull request
September 7, 2023 22:18
Status
Failure
Total duration
2h 2m 3s
Artifacts
–
test-pr.yml
on: pull_request
Version Bump
8s
Unit Tests
2m 11s
Profiling
11s
Build and Test KEVM concrete execution
14m 29s
Build and Test KEVM haskell proofs
9s
Build and Test KEVM haskell proofs (booster)
9s
Build and Test KEVM Foundry proofs
2h 0m
Build and Test KEVM Foundry proofs (booster)
13s
Build Ubuntu Jammy DockerHub Image
8s
Matrix: Nix
Annotations
20 errors
Build and Test KEVM haskell proofs
Needed a single revision
|
Build and Test KEVM haskell proofs
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
Build and Test KEVM haskell proofs
The process '/usr/bin/git' failed with exit code 1
|
Build and Test KEVM haskell proofs
Process completed with exit code 1.
|
Profiling
Process completed with exit code 1.
|
Profiling
Needed a single revision
|
Profiling
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
Profiling
The process '/usr/bin/git' failed with exit code 1
|
Build and Test KEVM haskell proofs (booster)
Needed a single revision
|
Build and Test KEVM haskell proofs (booster)
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
Build and Test KEVM haskell proofs (booster)
The process '/usr/bin/git' failed with exit code 1
|
Build and Test KEVM haskell proofs (booster)
Process completed with exit code 1.
|
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 Ubuntu Jammy DockerHub Image
Needed a single revision
|
Build Ubuntu Jammy DockerHub Image
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
Build Ubuntu Jammy DockerHub Image
The process '/usr/bin/git' failed with exit code 1
|
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
|