Skip to content
Update Nix Flake Inputs

update expected output due to change of names for substitution variables #1780

Sign in to view logs

update expected output due to change of names for substitution variables

update expected output due to change of names for substitution variables #1780

Triggered via push June 19, 2024 16:43
@goodlyrottenapplegoodlyrottenapple
pushed e89feca
_update-deps/runtimeverification/haskell-backend
Status Success
Total duration 1m 46s
Artifacts –

update-deps.yml

on: push
Nix flake submodule sync
1m 19s
Nix flake submodule sync
Fit to window
Zoom out
Zoom in