From fe6c9f86c183ed27986405c21507d72323e6adc1 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 1 Aug 2023 11:22:50 -0500
Subject: [PATCH] Add Gitlab CI mypy job

---
 .gitlab-ci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f556d895d..36a80203d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -102,6 +102,18 @@ Pylint:
   except:
   - tags
 
+Mypy:
+  script: |
+    curl -L -O https://tiker.net/ci-support-v0
+    . ./ci-support-v0
+    build_py_project_in_venv
+    python -m pip install mypy pytest
+    ./run-mypy.sh
+  tags:
+  - python3
+  except:
+  - tags
+
 Flake8:
   script: |
     export EXTRA_INSTALL="Cython pybind11 numpy scipy mako"