<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">The root of the second problem was !10723, which started failing on its own pipeline after being rebased.<div>I’m pushing a fix.</div><div><br></div><div>- Rodrigo<br><div><br><blockquote type="cite"><div>On 28 Jun 2023, at 06:41, Bryan Richter via ghc-devs <ghc-devs@haskell.org> wrote:</div><br class="Apple-interchange-newline"><div><div dir="ltr">Two things are negatively impacting GHC CI right now:<br><div><br></div><div>Darwin runner capacity is down to one machine, since the other three are paused. The problem and solution are known[1], but until the fix is implemented in GHC, expect pipelines to get backed up. I will work on a patch this morning<br></div><div><br></div><div>[1]: <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/23561">https://gitlab.haskell.org/ghc/ghc/-/issues/23561</a></div><div><br></div><div>The other problem is one I just noticed, and I don't have any good info about it yet. The symptom is that Marge batch merges are failing reliably. Three patches that do fine individually somehow cause a type error in the hadrian-ghc-in-ghci job when combined[2]. The only clue is the error itself, which complains of an out-of-scope data constructor "ArchJavaScript" in the file compiler/GHC/Driver/Main.hs. A cursory look at the individual patches doesn't shed any light. I just rebased all of them to see if I can shake the error out of them that way. Any knowledge that can be brought to bear would be appreciated<br></div><div><br></div><div>[2]: <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10745#note_507418">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10745#note_507418</a></div><div><br></div><div>-Bryan</div></div>
_______________________________________________<br>ghc-devs mailing list<br>ghc-devs@haskell.org<br>http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<br></div></blockquote></div><br></div></body></html>