Commit 870b2f4f authored by Petr Špaček's avatar Petr Špaček

Merge branch 'ci-mypy-tools' into 'master'

ci/mypy: run checks separately for tools

See merge request !151
parents 7f462b3c a94c8ef7
Pipeline #44768 passed with stage
in 2 minutes and 2 seconds
......@@ -5,9 +5,13 @@ source "$(dirname "$0")/"
PYFILES=$(find . \
-path ./.git -prune -o \
-path ./contrib -o \
-path ./tools -prune -o \
-type d -exec test -e '{}/' \; -print -prune -o \
-name '*.py' -print -o \
-type f -exec grep -qsm1 '^#!.*\bpython' '{}' \; -print)
set -e
${PYTHON} -m mypy --ignore-missing-imports ${PYFILES}
# tools
${PYTHON} -m mypy --ignore-missing-imports tools
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment