Regtests: Optimize TEST_DIRS order

This commit is contained in:
Ole Schütt 2021-06-03 23:40:05 +02:00 committed by Ole Schütt
parent 23844a3ef0
commit d4a823054a
3 changed files with 306 additions and 252 deletions

View file

@ -25,6 +25,7 @@ echo ""
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
# Test generate_dashboard.py. Running it twice to also execute its caching.
mkdir -p /workspace/artifacts/dashboard