21 Oct
2021
21 Oct
'21
9:57 a.m.
Simon Peyton Jones via ghc-devs
It started working again, a few mins after it stopped working. I was getting consistent Error 500, then started being OK.
Strange.
Indeed there was a misconfiguration that caused this sort of intermittent failure which I have now fixed. Apoloegies for the inconvenience! Cheers, - Ben