diff options
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index eed995062e..528deee4d3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -193,14 +193,11 @@ ghc-linters: # Run mypy Python typechecker on linter scripts. lint-linters: - stage: tool-lint image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" extends: .lint script: - mypy .gitlab/linters/*.py dependencies: [] - tags: - - lint # Check that .T files all parse by listing broken tests. lint-testsuite: |