Skip to content
Snippets Groups Projects

Fix build of ghc-tcplugins-extra and ghc-typelits-natnormalise following CtEvidence refactor

Passed
Bryan R created pipeline for commit ed5805b2
, finished
For master
Scheduled
2 jobs 11 minutes 23 seconds, queued for 132 seconds