Skip to content
Update Nix Flake Inputs

deps/hs-backend-booster_release: Set Version 5a283f7c85c5b4f66ff477b4… #868

Sign in to view logs

deps/hs-backend-booster_release: Set Version 5a283f7c85c5b4f66ff477b4…

deps/hs-backend-booster_release: Set Version 5a283f7c85c5b4f66ff477b4… #868

Triggered via push October 10, 2023 18:28
@rv-jenkinsrv-jenkins
pushed 799aa0c
_update-deps/runtimeverification/hs-backend-booster
Status Cancelled
Total duration 1m 57s
Artifacts –

update-deps.yml

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

Annotations

1 error
Nix flake submodule sync
Canceling since a higher priority waiting request for 'Update Nix Flake Inputs-refs/heads/_update-deps/runtimeverification/hs-backend-booster' exists