diff options
-rw-r--r-- | .gitlab-ci.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d24b4eedaf..b32f8268f0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -71,6 +71,7 @@ ghc-linters: refs: - merge_requests +# Run mypy Python typechecker on linter scripts. lint-linters: <<: *only-default stage: lint @@ -81,6 +82,7 @@ lint-linters: tags: - lint +# Check that .T files all parse by listing broken tests. lint-testsuite: <<: *only-default stage: lint @@ -91,6 +93,17 @@ lint-testsuite: tags: - lint +# Run mypy Python typechecker on testsuite driver +typecheck-testsuite: + <<: *only-default + stage: lint + image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" + script: + - mypy testsuite/driver/runtests.py + dependencies: [] + tags: + - lint + # We allow the submodule checker to fail when run on merge requests (to # accomodate, e.g., haddock changes not yet upstream) but not on `master` or # Marge jobs. |