gitlab-ci: Allow linters to fail for now
gitlab-ci: Allow linters to fail for now

They are broken and I don't have time to fix them at the moment.
sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc