diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d32dbe3a21..20fde5cdff 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -347,7 +347,10 @@ hlint-ghc-and-base: hadrian-ghc-in-ghci: stage: quick-build - needs: [lint-linters, lint-submods] + needs: + - job: lint-linters + - job: lint-submods + optional: true image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb10:$DOCKER_REV" before_script: # workaround for docker permissions |