Skip to content
Update Version

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

Sign in to view logs

flake.{nix,lock}: update Nix derivations

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

Triggered via push August 28, 2024 21:43
@rv-jenkinsrv-jenkins
pushed f143788
_update-deps/runtimeverification/k
Status Success
Total duration 1m 35s
Artifacts –

update-version.yml

on: push
Update pyk version
1m 27s
Update pyk version
Fit to window
Zoom out
Zoom in