diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-06-23 10:28:31 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-06-25 08:37:46 -0400 |
commit | 95f56853d6288076551a5326ad7b4778742a51ce (patch) | |
tree | a966501da39a7c9e5a34f7a58dcbeba679162ee6 /.gitlab-ci.yml | |
parent | bb40bd37ebf4fee0c2c06f9e8545f3b34c7fa4a5 (diff) | |
download | haskell-95f56853d6288076551a5326ad7b4778742a51ce.tar.gz |
gitlab-ci: Add testsuite typechecking lint
Diffstat (limited to '.gitlab-ci.yml')
-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. |