Skip to content
Snippets Groups Projects

remove more things needed by GHC < 8.6

Passed
BinderDavid created pipeline for commit 213d27ea
, finished
1 related merge request: !15 drop support for building HPC with less than GHC 8.6
1 job 7 minutes 23 seconds, queued for 87 seconds