Skip to content
Snippets Groups Projects

stub: relax bounds on ghc-prim (fixes #18)

Failed
Adam Gundry created pipeline for commit 6c22525c
, finished
1 related merge request: !26 stub: relax bounds on ghc-prim
latest
1 job 13 minutes 53 seconds, queued for 0 seconds