Merge pull request #10231 from sol/patch-1
Passed
Mikolaj Konarski
created pipeline for commit
ee1fd525
, finished
For cabal-head
89 minutes 5 seconds, queued for 8 seconds