summaryrefslogtreecommitdiff
path: root/tox.ini
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2021-02-06 07:53:19 +0100
committerClaudiu Popa <pcmanticore@gmail.com>2021-02-07 10:28:18 +0100
commitc75b8885c159404e5ee2edbed5009da1a81b217e (patch)
treefb054f378544ed1d3fd9c095850f935f7b6fb366 /tox.ini
parent6b7eccc29b377283b79ade04a74fce6f9ed6a842 (diff)
downloadpylint-git-c75b8885c159404e5ee2edbed5009da1a81b217e.tar.gz
Add mypy in pre-commit and modify the tox job accordingly
Diffstat (limited to 'tox.ini')
-rw-r--r--tox.ini5
1 files changed, 2 insertions, 3 deletions
diff --git a/tox.ini b/tox.ini
index dd1d0da72..8ed0d016d 100644
--- a/tox.ini
+++ b/tox.ini
@@ -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 =