]> git.openstreetmap.org Git - nominatim.git/blobdiff - Makefile
Merge pull request #3580 from lonvia/about-ai-prs
[nominatim.git] / Makefile
index cd7280fe193175eb2412f0de5719f32caf237ded..421b671a1cdd50506298f71bfc1c2373a5f828cd 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ build-api:
 tests: mypy lint pytest bdd
 
 mypy:
-       mypy --strict src
+       mypy --strict --python-version 3.8 src
 
 pytest:
        pytest test/python