precommit: Add type annotations to precommit.py

This commit is contained in:
Ole Schütt 2022-07-16 13:47:33 +02:00 committed by Ole Schütt
parent 8c9193c8b1
commit 83879e1e52
2 changed files with 20 additions and 15 deletions

View file

@ -34,6 +34,7 @@ run_test mypy --strict ./tools/dashboard/generate_dashboard.py
run_test mypy --strict ./tools/dashboard/generate_regtest_survey.py
run_test mypy --strict ./tools/regtesting/do_regtest.py
run_test mypy --strict ./tools/regtesting/optimize_test_dirs.py
run_test mypy --strict ./tools/precommit/precommit.py
run_test mypy --strict ./tools/precommit/check_file_properties.py
run_test mypy --strict ./tools/precommit/format_makefile.py
run_test mypy --strict ./tools/docker/generate_dockerfiles.py