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 <ggr...@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 <b...@smart-cactus.org> wrote: > > Gabor Greif <ggr...@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@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
