Skip to content
Snippets Groups Projects

Merge pull request #10128 from alt-romes/wip/romes/disable-build-tool-depends

Passed
Ben Gamari created pipeline for commit e7657ad3
, finished
For cabal-head
44 jobs 56 minutes 37 seconds, queued for 12 seconds