moritz.angermann at gmail.com
Wed Mar 17 08:34:39 UTC 2021
*why* is a very good question. The MR fixing it is here:
On Wed, Mar 17, 2021 at 4:26 PM Spiwack, Arnaud <arnaud.spiwack at tweag.io>
> 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> wrote:
>> 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