Yeah, it starts now, thanks!
However it won't terminate due to a restrictive time limit of 60 mins.
Can we have 120?
Gabor
On 12/22/18, Ben Gamari <b...@smart-cactus.org> wrote:
> Gabor Greif <ggr...@gmail.com> writes:
>
>> (following-up own mail)
>>
>> This seems resolved too. I have submitted my branch into the main
>> repo, and now the pipeline is executing :-)
>>
>> Still, do we want running pipelines for external contributors too?
>>
> Indeed we do. Small oversight on my part; now fixed.
>
> Thanks!
>
> Cheers,
>
> - Ben
>
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
