Skip to content
Update Version

deps/k_release: Set Version 7.1.162 #449

Sign in to view logs

deps/k_release: Set Version 7.1.162

deps/k_release: Set Version 7.1.162 #449

Triggered via push October 17, 2024 17:37
@rv-jenkinsrv-jenkins
pushed 8932564
_update-deps/runtimeverification/k
Status Failure
Total duration 2m 24s
Artifacts –

update.yml

on: push
Update Dependecies
2m 17s
Update Dependecies
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Update Dependecies
3858 bytes of body are still expected
Update Dependecies
early EOF
Update Dependecies
unpack-objects failed
Update Dependecies
Fetched in submodule path 'tests/riscv-arch-test', but it did not contain 7152865aca51062c87ff2cbb014e199a24bdc874. Direct fetching of that commit failed.
Update Dependecies
The process '/usr/bin/git' failed with exit code 128