Skip to content
Snippets Groups Projects

Merge pull request #9650 from alt-romes/wip/romes/9640

Passed
Mikolaj Konarski created pipeline for commit 72a91600
, finished
For cabal-head
16 jobs 36 minutes 47 seconds, queued for 5 seconds