Skip to content
Snippets Groups Projects

Merge pull request #9543 from mpickering/wip/autogen

Passed
Mikolaj Konarski created pipeline for commit 517ddc63
, finished
For cabal-head
16 jobs 37 minutes 50 seconds, queued for 14 seconds