precommit: Check file properties of all files again

This commit is contained in:
Ole Schütt 2021-07-23 22:16:57 +02:00 committed by Ole Schütt
parent f8023dee5a
commit f82eaf34a7
4 changed files with 14 additions and 12 deletions

View file

@ -26,6 +26,7 @@ run_test ./tools/prettify/prettify_test.py
run_test mypy --strict ./tools/dashboard/generate_dashboard.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/check_file_properties.py
# Test generate_dashboard.py. Running it twice to also execute its caching.
mkdir -p /workspace/artifacts/dashboard