Scaling back CI (for now)?

[Richard Eisenberg]

So, just checking: is the recommended route to merging now to use the Marge Bot instructions posted previously? (That is, get 1+ approvals and then assign to Marge.)

Thanks,
Richard

> On Feb 6, 2019, at 5:23 PM, Ben Gamari <ben at smart-cactus.org> wrote:
> 
> Phyx <lonetiger at gmail.com> writes:
> 
>> That aside, the CIs don't seem stable at all. Frequent timeouts even before
>> they start. I have been trying to merge 3 changes for a while now and
>> everytime one of them times out and I have to restart the timed out ones.
>> Then there are merge conflicts and I have to start over.
>> 
> Indeed Marge was causing a remarkable amount of CI traffic, leading to
> long queues, and eventually build timeouts. Thankfully Matthew
> investigated why Marge's batch mode wasn't batching and consequently
> things should now be much better.
> 
> Sorry for the previous inconvenience!
> 
> Cheers,
> 
> - Ben
> 
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs