Skip to content
Snippets Groups Projects

Merge pull request #10055 from wismill/semaphore/verbosity

Passed
Ben Gamari created pipeline for commit f323d296
, finished
For cabal-head
28 jobs 75 minutes 35 seconds, queued for 10 seconds