diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2021-02-06 07:53:19 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2021-02-07 10:28:18 +0100 |
commit | c75b8885c159404e5ee2edbed5009da1a81b217e (patch) | |
tree | fb054f378544ed1d3fd9c095850f935f7b6fb366 /tox.ini | |
parent | 6b7eccc29b377283b79ade04a74fce6f9ed6a842 (diff) | |
download | pylint-git-c75b8885c159404e5ee2edbed5009da1a81b217e.tar.gz |
Add mypy in pre-commit and modify the tox job accordingly
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -46,11 +46,10 @@ changedir = {toxinidir} [testenv:mypy] basepython = python3 deps = - typed-ast>=1.4 - mypy>=0.7,<1.0 + pre-commit commands = - python -m mypy {toxinidir}/pylint/checkers --ignore-missing-imports {posargs:} + pre-commit run mypy --all-files [testenv] deps = |