Re: [GHC] #15937: CI strategy for Gitlab