Run mypy checks on Python helpers in GitLab CI

Ensure the type hints provided in helper code for Python-based system
tests are correct by continuously checking them using mypy in GitLab CI.
Check bin/tests/system/isctest.py exclusively for the time being because
it is the only Python file in the source tree which uses static typing
at the moment and working around the issues reported by mypy for other
(non-statically-typed) Python files present in the source tree would be
cumbersome.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9d95e4e25a2d5643396c3e745f4d2c056c7f3738..22e86f800eb3a43e5a7d2fc9fb0d5f16e5b1e465 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -631,6 +631,11 @@ checkbashisms:
   script:
     - checkbashisms $(find . -path './.git' -prune -o -type f -exec sh -c 'head -n 1 "{}" | grep -qsF "#!/bin/sh"' \; -print)
 
+mypy:
+  <<: *precheck_job
+  script:
+    - mypy "bin/tests/system/isctest/"
+
 tarball-create:
   stage: precheck
   <<: *base_image