Commit 95f56853 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

gitlab-ci: Add testsuite typechecking lint

parent bb40bd37
Pipeline #7593 passed with stages
in 311 minutes and 8 seconds
......@@ -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.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment