Skip to content
Update Version

flake.{nix,lock}: update Nix derivations #420

Sign in to view logs

flake.{nix,lock}: update Nix derivations

flake.{nix,lock}: update Nix derivations #420

Triggered via push September 6, 2024 09:25
@rv-jenkinsrv-jenkins
pushed 6695385
_update-deps/runtimeverification/k
Status Failure
Total duration 36s
Artifacts –

update-version.yml

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

Annotations

1 error
Update Dependency Versions
Process completed with exit code 1.