gitlab-ci: add mypy type-checking

.gitlab-ci.yml

@@ -10,6 +10,17 @@ format:
   script:
     - ./format.sh --check
 
+typecheck:
+  stage: check
+  image: python
+  before_script:
+    - pip install mypy
+  script:
+    - ./typecheck.sh --non-interactive --junit-xml mypy-report.xml
+  artifacts:
+    reports:
+      junit: mypy-report.xml
+
 build_docker:
   stage: build
   image: docker:latest

typecheck.sh

@@ -0,0 +1,2 @@
+#!/bin/bash
+git ls-files \*.py | xargs mypy --pretty --install-types --ignore-missing-imports "$@"