]> git.openstreetmap.org Git - nominatim.git/commitdiff
projects / nominatim.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a849f3c)
CI: make type checking strict
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 17 Jul 2022 21:20:21 +0000 (23:20 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Mon, 18 Jul 2022 07:55:58 +0000 (09:55 +0200)
.github/workflows/ci-tests.yml patch | blob | history

diff --git a/.github/workflows/ci-tests.yml b/.github/workflows/ci-tests.yml
index 2f9c635c81af0ef1dce8fb52ed8cec583e25e39d..5d70b56838eceb23b51abb5ef3c8207ffa3d070b 100644 (file)
--- a/.github/workflows/ci-tests.yml
+++ b/.github/workflows/ci-tests.yml
@@ -110,7 +110,7 @@ jobs:
               working-directory: Nominatim
 
             - name: Python static typechecking
-              run: mypy nominatim
+              run: mypy --strict nominatim
               working-directory: Nominatim
 
 
Open Source search based on OpenStreetMap data