Skip to content
Snippets Groups Projects

Merge pull request #10033 from bacchanalia/8963

Passed
Mikolaj Konarski created pipeline for commit a6b99b83
, finished
For cabal-head
28 jobs 40 minutes 35 seconds, queued for 25 seconds