Skip to content
Update Version

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

Sign in to view logs

flake.{nix,lock}: update Nix derivations

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

Triggered via push August 18, 2023 15:27
@rv-jenkinsrv-jenkins
pushed 7799922
_update-deps/runtimeverification/pyk
Status Success
Total duration 4m 49s
Artifacts –

update-version.yml

on: push
Update K and kavm versions
4m 38s
Update K and kavm versions
Fit to window
Zoom out
Zoom in