Skip to content

Merge branch 'pipe-placeholders' #86

Merge branch 'pipe-placeholders'

Merge branch 'pipe-placeholders' #86

Triggered via push May 10, 2024 21:19
Status Success
Total duration 15m 58s
Artifacts

build.yml

on: push
Matrix: build-cabal
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-nix
No push credentials found. Ignoring the 'useDaemon' option.