Skip to content
Test PR

Update dependency: deps/pyk_release #5301

Sign in to view logs

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #5301

Triggered via pull request August 3, 2023 22:39
@rv-jenkinsrv-jenkins
synchronize #1969
_update-deps/runtimeverification/pyk
Status Failure
Total duration 3h 0m 17s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
10s
Version Bump
Code Quality Checks
42s
Code Quality Checks
Matrix: Nix
Unit Tests
2m 40s
Unit Tests
Profiling
2m 38s
Profiling
Build and Test KEVM concrete execution
33m 47s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
1h 42m
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
4m 19s
Build and Test KEVM Foundry proofs
Build and Test KEVM Foundry proofs (booster)
3m 50s
Build and Test KEVM Foundry proofs (booster)
Build Ubuntu Jammy DockerHub Image
2h 21m
Build Ubuntu Jammy DockerHub Image
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
Build and Test KEVM concrete execution
exec 'rev-list': cd to 'deps/fmt' failed: No such file or directory
Build and Test KEVM concrete execution
exec 'rev-list': cd to 'deps/pybind11' failed: No such file or directory
Build and Test KEVM concrete execution
exec 'rev-list': cd to 'deps/rapidjson' failed: No such file or directory
Build and Test KEVM concrete execution
exec 'rev-list': cd to 'extra/python/lib/pybind11' failed: No such file or directory
Build and Test KEVM concrete execution
exec 'rev-list': cd to 'web/k-web-theme' failed: No such file or directory
Nix (normal)
The job running on runner github-runner-27 has exceeded the maximum execution time of 60 minutes.
Nix (normal)
The operation was canceled.