Skip to content
Snippets Groups Projects

Merge pull request #9720 from mpickering/wip/multi-repl-closure

Passed
Mikolaj Konarski created pipeline for commit 125cd2d4
, finished
For cabal-head
16 jobs 55 minutes 20 seconds, queued for 6 seconds