Skip to content
Update Nix Flake Inputs

only build main executables for hs-backend-booster #1043

Sign in to view logs

only build main executables for hs-backend-booster

only build main executables for hs-backend-booster #1043

Triggered via push December 5, 2023 22:41
@jbertholdjberthold
pushed 2ce694f
_update-deps/runtimeverification/hs-backend-booster
Status Cancelled
Total duration 31s
Artifacts –

update-deps.yml

on: push
Nix flake submodule sync
21s
Nix flake submodule sync
Fit to window
Zoom out
Zoom in

Annotations

2 errors
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
Nix flake submodule sync
The operation was canceled.