CI: add mypy to tests

diff --git a/.github/workflows/ci-tests.yml b/.github/workflows/ci-tests.yml
index 53b76a035d7688eb39dc43116ee2f138cf7a4b85..ab4ded0c7aa88b5994add9bffb30af8f7202a6f5 100644 (file)
--- a/.github/workflows/ci-tests.yml
+++ b/.github/workflows/ci-tests.yml
@@ -99,7 +99,7 @@ jobs:
               if: matrix.ubuntu == 22
 
             - name: Install latest pylint
-              run: pip3 install pylint
+              run: pip3 install pylint mypy types-PyYAML types-jinja2
 
             - name: PHP linting
               run: phpcs --report-width=120 .
@@ -109,6 +109,11 @@ jobs:
               run: pylint nominatim
               working-directory: Nominatim
 
+            - name: Python static typechecking
+              run: mypy nominatim
+              working-directory: Nominatim
+
+
             - name: PHP unit tests
               run: phpunit ./
               working-directory: Nominatim/test/php