Merge pull request #5792 from pradyunsg/misc/pin-mypy

Pin to the older mypy version
pypa · Sep 18, 2018 · eb30290 · eb30290
2 parents deeb1e4 + 9a2f1aa
commit eb30290
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/tools/mypy-requirements.txt b/tools/mypy-requirements.txt
@@ -0,0 +1 @@
+mypy == 0.620
diff --git a/tox.ini b/tox.ini
@@ -60,7 +60,7 @@ commands = {[lint]commands}
 [testenv:mypy]
 skip_install = True
 basepython = python3
-deps = mypy
+deps = -r{toxinidir}/tools/mypy-requirements.txt
 commands =
     mypy src
     mypy src -2