diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-06-23 10:28:31 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-06-24 17:37:44 -0400 |
| commit | 6251b54ddd2fc15d72aab38daa34f1c6f20fed06 (patch) | |
| tree | e6b119f11ab857c0da75c698518a0ae2944455ec | |
| parent | e3d881eb56e423233e4410173ec3ec601053db00 (diff) | |
| download | haskell-wip/junit-fixes.tar.gz | |
gitlab-ci: Add testsuite typechecking lintwip/junit-fixes
| -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. |