Skip to content
Snippets Groups Projects

Clarify splitting/passing behaviour for --*-option(s) arguments (#10792)

Failed
Mikolaj Konarski created pipeline for commit 51e1817d
, finished
For cabal-head
28 jobs 69 minutes 44 seconds, queued for 39 seconds