GitLab Migration (CI heads-up)

[Matthew Pickering]

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?
>
>     Gabor
>
> 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
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs