regtesting: Add do_regtest.py

cp2k · Jun 4, 2021 · bbd158e · bbd158e
1 parent a6cabf1
commit bbd158e
Show file tree

Hide file tree

Showing 2 changed files with 507 additions and 0 deletions.
diff --git a/tools/docker/scripts/test_python.sh b/tools/docker/scripts/test_python.sh
@@ -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