gitlab-ci: Linters, don't allow to fail
authorMatthew Pickering <matthewtpickering@gmail.com>
Thu, 30 May 2019 10:11:04 +0000 (11:11 +0100)
committerBen Gamari <ben@well-typed.com>
Sat, 8 Jun 2019 17:34:18 +0000 (13:34 -0400)
Ben disabled them in cd85f8a71bb56cff332560e1d571b3406789fb71 but didn't
say how or why they were broken.

.gitlab-ci.yml

index e42aa7d..aea1e70 100644 (file)
@@ -49,7 +49,6 @@ stages:
 ############################################################
 
 ghc-linters:
-  allow_failure: true
   stage: lint
   image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV"
   script: