Skip to content
Update Version

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

Sign in to view logs

flake.{nix,lock}: update Nix derivations

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

Triggered via push March 14, 2025 18:33
@rv-jenkinsrv-jenkins
pushed f7d1777
_update-deps/runtimeverification/k
Status Failure
Total duration 44s
Artifacts –

update-version.yml

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

Annotations

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