<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear GHC devs</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Is GHC's CI stuck in some way?  My !12928 has been scheduled by Marge over 10 times now, and each time the commit has failed.  Ten seems...  a lot.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div>