Re: CI execution

2019-04-08 Thread Sylvain Henry
pr 8, 2019 at 2:22 PM Sylvain Henry wrote: Hi devs, It seems that the CI doesn't check branches in GHC forks on Gitlab anymore. Is is intentional? Is there a way to trigger a CI execution manually on a specific branch? Thanks, Sylvain ___ ghc-dev

Re: CI execution

2019-04-08 Thread Matthew Pickering
to be built you could make a MR? Cheers, Matt On Mon, Apr 8, 2019 at 2:22 PM Sylvain Henry wrote: > > Hi devs, > > It seems that the CI doesn't check branches in GHC forks on Gitlab > anymore. Is is intentional? Is there a way to trigger a CI execution > manually on a

CI execution

2019-04-08 Thread Sylvain Henry
Hi devs, It seems that the CI doesn't check branches in GHC forks on Gitlab anymore. Is is intentional? Is there a way to trigger a CI execution manually on a specific branch? Thanks, Sylvain ___ ghc-devs mailing list ghc-devs@haskell.org