summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.pre-commit-config.yaml12
-rw-r--r--tox.ini5
2 files changed, 14 insertions, 3 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 50cbe6988..03ac10563 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -35,3 +35,15 @@ repos:
language: system
types: [python]
exclude: tests/functional/|tests/input|tests/extensions/data|tests/regrtest_data/|tests/data/|doc/
+- repo: https://github.com/pre-commit/mirrors-mypy
+ rev: v0.800
+ hooks:
+ - id: mypy
+ name: mypy
+ entry: mypy
+ language: python
+ "types": [python]
+ args: ["--ignore-missing-imports", "--scripts-are-modules"]
+ require_serial: true
+ additional_dependencies: []
+ exclude: tests/functional/|tests/input|tests/extensions/data|tests/regrtest_data/|tests/data/|doc/|bin/
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 =