arnaud.spiwack at tweag.io
Wed Mar 17 08:26:19 UTC 2021
Then I have a question: why are there two pipelines running on each merge
On Wed, Mar 17, 2021 at 9:22 AM Moritz Angermann <moritz.angermann at gmail.com>
> No it wasn't. It was about the stat failures described in the next
> paragraph. I could have been more clear about that. My apologies!
> On Wed, Mar 17, 2021 at 4:14 PM Spiwack, Arnaud <arnaud.spiwack at tweag.io>
>> and if either of both (see below) failed, marge's merge would fail as
>> Re: “see below” is this referring to a missing part of your email?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs