Skip to content
Snippets Groups Projects

Merge pull request #9707 from alt-romes/wip/romes/9697-nonlocal-test

Passed
Mikolaj Konarski created pipeline for commit 2acae632
, finished
For cabal-head
16 jobs 108 minutes 36 seconds, queued for 11 seconds