CI: make type checking strict

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

diff --git a/.github/workflows/ci-tests.yml b/.github/workflows/ci-tests.yml
index e3a01aa061b1855c4c0c3365a2a941a965f5035f..5d70b56838eceb23b51abb5ef3c8207ffa3d070b 100644 (file)
--- a/.github/workflows/ci-tests.yml
+++ b/.github/workflows/ci-tests.yml
@@ -70,6 +70,7 @@ jobs:
               with:
                   php-version: ${{ matrix.php }}
                   tools: phpunit, phpcs, composer
+                  ini-values: opcache.jit=disable
 
             - uses: actions/setup-python@v2
               with:
@@ -98,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 .
@@ -108,6 +109,11 @@ jobs:
               run: pylint nominatim
               working-directory: Nominatim
 
+            - name: Python static typechecking
+              run: mypy --strict nominatim
+              working-directory: Nominatim
+
+
             - name: PHP unit tests
               run: phpunit ./
               working-directory: Nominatim/test/php