Hi GHC Devs, we had CI failing this morning pretty badly.
This issue should be resolved.Please excuse the troubles; you may restart your CI runs. If you have issue with any CI runner, please contact me.
Best Magnus _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
