Re: GitLab Migration (CI heads-up)

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 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 wrote:

...

Gabor Greif 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