GitLab Migration (CI heads-up)
ben at smart-cactus.org
Sun Dec 23 17:06:18 UTC 2018
Gabor Greif <ggreif at gmail.com> writes:
> Yeah, it starts now, thanks!
> However it won't terminate due to a restrictive time limit of 60 mins.
> Can we have 120?
I have actually changed the default to six hours since Windows builds tend
to easily eat through three hours at least. I've made this change on
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs