regtesting: Add do_regtest.py

This commit is contained in:
Ole Schütt 2019-06-18 01:20:24 +02:00 committed by Ole Schütt
parent a6cabf1347
commit bbd158e2cc
2 changed files with 507 additions and 0 deletions

View file

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