Skip to content
Update Version

Update Version #514

Sign in to view logs

Update Version

Update Version #514

Triggered via push January 7, 2025 15:27
@rv-jenkinsrv-jenkins
⁠ a1d9eb2
_update-deps/runtimeverification/k
Status Failure
Total duration 39s
Artifacts –

update-version.yml

on: push
Update Dependency Versions
26s
Update Dependency Versions
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Update Dependency Versions
Process completed with exit code 1.
Update Dependency Versions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636