GitLab Migration (CI heads-up)
ggreif at gmail.com
Sun Dec 23 14:29:45 UTC 2018
Yeah, it starts now, thanks!
However it won't terminate due to a restrictive time limit of 60 mins.
Can we have 120?
On 12/22/18, Ben Gamari <ben at smart-cactus.org> wrote:
> Gabor Greif <ggreif at 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.
> - Ben
More information about the ghc-devs