Scaling back CI (for now)?

Richard Eisenberg rae at
Thu Feb 7 03:10:22 UTC 2019

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.)


> On Feb 6, 2019, at 5:23 PM, Ben Gamari <ben at> wrote:
> Phyx <lonetiger at> 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

More information about the ghc-devs mailing list