Skip to content
Snippets Groups Projects

Merge pull request #9686 from ffaf1/bumps

Passed
Mikolaj Konarski created pipeline for commit 5a67423c
, finished
For cabal-head
16 jobs 39 minutes 31 seconds, queued for 7 seconds