Add Gitlab CI mypy job

inducer · Aug 3, 2023 · fe6c9f8 · fe6c9f8
1 parent 156a1fe
commit fe6c9f8
Showing 1 changed file with 12 additions and 0 deletions.
diff --git 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"