diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2019-09-30 10:00:44 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-09-30 10:00:44 +0200 |
commit | 6198797aac41f938dd752620efe04b3e8503e2d1 (patch) | |
tree | bc04df2e5b6ade583584b165ec7d3f729def88c7 /tox.ini | |
parent | aa587eca1ec8a98c42fce6fac6f207bfb9f3a06e (diff) | |
download | pylint-git-6198797aac41f938dd752620efe04b3e8503e2d1.tar.gz |
Pin mypy and typed-ast to fix the CI
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -23,10 +23,11 @@ changedir = {toxinidir} [testenv:mypy] basepython = python3 deps = - mypy + typed-ast>=1.4 + mypy>=0.7,<1.0 commands = - python -m mypy {toxinidir}/pylint/checkers --ignore-missing-imports + python -m mypy {toxinidir}/pylint/checkers --ignore-missing-imports {posargs:} [testenv] deps = |