Update dependency: web/k-web-theme #6137
Triggered via pull request
September 5, 2023 11:25
rv-jenkins
Status
Failure
Total duration
1h 26m 11s
Artifacts
–
test-pr.yml
on: pull_request
Version Bump
11s
Unit Tests
2m 25s
Profiling
15m 14s
Build and Test KEVM concrete execution
8s
Build and Test KEVM haskell proofs
55m 9s
Build and Test KEVM haskell proofs (booster)
1h 14m
Build and Test KEVM Foundry proofs
1h 18m
Build and Test KEVM Foundry proofs (booster)
29m 31s
Build Ubuntu Jammy DockerHub Image
18m 55s
Matrix: Nix
Annotations
6 errors
|
Build and Test KEVM concrete execution
Needed a single revision
|
|
Build and Test KEVM concrete execution
Unable to find current revision in submodule path 'tests/ethereum-tests'
|
|
Build and Test KEVM concrete execution
The process '/usr/bin/git' failed with exit code 1
|
|
Build and Test KEVM concrete execution
Process completed with exit code 1.
|
|
Profiling
The job running on runner github-runner-31 has exceeded the maximum execution time of 15 minutes.
|
|
Profiling
The operation was canceled.
|