lint: run mypy over contrib/devtools

This commit is contained in:
fanquake
2020-11-22 11:32:55 +08:00
parent 4a8f4ac4fc
commit 1ef2138c0d
3 changed files with 12 additions and 11 deletions

View File

@@ -102,7 +102,7 @@ if ! PYTHONWARNINGS="ignore" flake8 --ignore=B,C,E,F,I,N,W --select=$(IFS=","; e
EXIT_CODE=1
fi
if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py"); then
if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py" "contrib/devtools/*.py"); then
EXIT_CODE=1
fi