Skip to content
Update Nix Flake Inputs

manually update cabal package list #12

Sign in to view logs

manually update cabal package list

manually update cabal package list #12

Triggered via push July 14, 2023 04:50
@jbertholdjberthold
pushed 24c89ad
_update-deps/runtimeverification/haskell-backend
Status Cancelled
Total duration 5m 42s
Artifacts –

update-deps.yml

on: push
Nix flake submodule sync
5m 34s
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/haskell-backend' exists