GitLab Migration (CI heads-up)
matthewtpickering at gmail.com
Sun Dec 23 14:47:11 UTC 2018
Gabor, you can configure this yourself.
1. Go to https://gitlab.haskell.org/ggreif/ghc/settings/ci_cd
2. Expand the top drop-down "General pipelines"
3. Set the timeout to 6h
On Sun, Dec 23, 2018 at 2:30 PM Gabor Greif <ggreif at gmail.com> wrote:
> 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.
> > Thanks!
> > Cheers,
> > - Ben
> ghc-devs mailing list
> ghc-devs at haskell.org
More information about the ghc-devs