Dashboard: Remove defunct regtest survey (#5220)

This commit is contained in:
Ole Schütt 2026-05-16 21:41:12 +02:00 committed by GitHub
parent c22e5003df
commit 3d3abc6804
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 0 additions and 315 deletions

View file

@ -46,7 +46,6 @@ run_test ./tools/vibronic_spec/main.py ./tools/vibronic_spec/example/example_con
run_test mypy --strict ./tools/pao-ml/
run_test mypy --strict ./tools/minimax_tools/minimax_to_fortran_source.py
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/optimize_test_dirs.py
run_test mypy --strict ./tools/precommit/precommit.py
run_test mypy --strict ./tools/precommit/check_file_properties.py