CI issue resolved

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