Skip to content
Update Version

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

Sign in to view logs

flake.{nix,lock}: update Nix derivations

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

Triggered via push October 3, 2024 13:59
@rv-jenkinsrv-jenkins
pushed d253ec4
_update-deps/runtimeverification/k
Status Success
Total duration 18s
Artifacts –

update-version.yml

on: push
Update pyk version
11s
Update pyk version
Fit to window
Zoom out
Zoom in