CI: install type info for psycopg2

[nominatim.git] / .github / workflows / ci-tests.yml

diff --git a/.github/workflows/ci-tests.yml b/.github/workflows/ci-tests.yml
index 53b76a035d7688eb39dc43116ee2f138cf7a4b85..2f9c635c81af0ef1dce8fb52ed8cec583e25e39d 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 types-psycopg2
 
             - 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