📍Pin mypy version to 1.3.0

prevents error: INTERNAL ERROR -- Please try using mypy master on GitHub
bo4e · Jul 3, 2023 · 4be82ad · 4be82ad
1 parent 28f6b92
commit 4be82ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tox.ini b/tox.ini
@@ -37,7 +37,7 @@ usedevelop = True
 # the type_check environment checks the type hints using mypy
 deps =
     -rrequirements.txt
-    mypy
+    mypy==1.3.0
     pytest
 commands =
     mypy --show-error-codes src/bo4e