make sure modern mypy is used

Signed-off-by: Nicolas Höning <[email protected]>
SeitaBV · Jul 26, 2023 · 463822c · 463822c
1 parent 67c84ce
commit 463822c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run_mypy.sh b/run_mypy.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 set -e
-pip install mypy
+pip install --upgrade mypy > 1.4
 pip install types-pytz types-requests types-Flask types-click types-redis types-tzlocal types-python-dateutil types-setuptools
 files=$(find . -name \*.py -not -path "./venv/*" -not -path ".eggs/*" -not -path "./build/*" -not -path "./dist/*" -not -path "./scripts/*")
 mypy --follow-imports skip --ignore-missing-imports $files