Skip to content
Snippets Groups Projects

Merge pull request #9900 from mpickering/wip/prof_dyn

Passed
Mikolaj Konarski created pipeline for commit 06f4155e
, finished
For cabal-head
28 jobs 51 minutes 49 seconds, queued for 16 seconds