Skip to content
Snippets Groups Projects

Merge pull request #9722 from mpickering/wip/ci

Failed
Mikolaj Konarski created pipeline for commit fb3f4d47
, finished
For cabal-head
18 jobs 19 minutes 58 seconds, queued for 11 seconds