Shanghai Schedule Update #6206
Triggered via pull request
September 8, 2023 06:23
rv-jenkins
Status
Failure
Total duration
2h 1m 49s
Artifacts
–
test-pr.yml
on: pull_request
Version Bump
11s
Unit Tests
2m 27s
Profiling
10m 32s
Build and Test KEVM concrete execution
25m 25s
Build and Test KEVM haskell proofs
2h 0m
Build and Test KEVM haskell proofs (booster)
2h 0m
Build and Test KEVM Foundry proofs
1h 19m
Build and Test KEVM Foundry proofs (booster)
35m 20s
Build Ubuntu Jammy DockerHub Image
22m 17s
Matrix: Nix
Annotations
10 errors
|
Nix (ARM64)
The job running on runner github-runner-mac-m1 has exceeded the maximum execution time of 60 minutes.
|
|
Nix (ARM64)
The operation was canceled.
|
|
Nix (normal)
The job running on runner github-runner-24 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 3 has exceeded the maximum execution time of 60 minutes.
|
|
Nix (macos-13)
The operation was canceled.
|
|
Build and Test KEVM haskell proofs
The job running on runner github-runner-4 has exceeded the maximum execution time of 120 minutes.
|
|
Build and Test KEVM haskell proofs
The operation was canceled.
|
|
Build and Test KEVM haskell proofs (booster)
The job running on runner github-runner-25 has exceeded the maximum execution time of 120 minutes.
|
|
Build and Test KEVM haskell proofs (booster)
The operation was canceled.
|