Something strange is still going on, since Marge now just opened an empty merge batch [1].
Ryan S. ----- [1] https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3465 On Mon, Jun 8, 2020 at 9:37 AM Ben Gamari <[email protected]> wrote: > > Ryan Scott <[email protected]> writes: > > > Hello, > > > > I've been receiving a flurry of e-mails all weekend about Marge Bot > > failing to validate a batch on CI. Moreover, the failures appear to be > > consistent each time. From the most recent one [1]: > > > Yesterday I had amended one of Marge's batches to accept the performance > changes and marked it for auto-merging. Unfortunately Marge got to it > before CI finished it and closed it. > > I just manually merged it and restarted Marge. Sorry for the delay! > > Cheers, > > - Ben _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
