RE: Allowing Windows CI to fail

2020-02-03 Thread Ben Gamari
Simon Peyton Jones via ghc-devs writes: > Ben > > This sounds like a good decision to me, thanks. > > Is there a possibility to have a slow CI-on-windows job (not part of > the "this must pass before merging" step), which will slowly, but > reliably, fail if the Windows build fails. E.g. does it

RE: Allowing Windows CI to fail

2020-02-03 Thread Simon Peyton Jones via ghc-devs
16:03 | To: GHC developers | Subject: Allowing Windows CI to fail | | Hi everyone, | | After multiple weeks of effort struggling to get Windows CI into a stable | condition I'm sorry to say that we're going to need to revert to allowing | it to fail for a bit longer. The status quo is e

Allowing Windows CI to fail

2020-02-03 Thread Ben Gamari
Hi everyone, After multiple weeks of effort struggling to get Windows CI into a stable condition I'm sorry to say that we're going to need to revert to allowing it to fail for a bit longer. The status quo is essentially holding up the entire merge queue and we still seem quite far from resolving t