Docker: Towards generated Dockerfiles

This commit is contained in:
Ole Schütt 2022-01-30 00:26:23 +01:00 committed by Ole Schütt
parent 007627045a
commit 2efb191b2d
8 changed files with 431 additions and 1 deletions

View file

@ -24,12 +24,14 @@ echo ""
run_test ./tools/prettify/prettify_test.py
run_test ./tools/minimax_tools/minimax_to_fortran_source.py --check
run_test ./tools/docker/generate_dockerfiles.py --check
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/regtesting/do_regtest.py
run_test mypy --strict ./tools/regtesting/optimize_test_dirs.py
run_test mypy --strict ./tools/precommit/check_file_properties.py
run_test mypy --strict ./tools/docker/generate_dockerfiles.py
# Test generate_dashboard.py. Running it twice to also execute its caching.
mkdir -p /workspace/artifacts/dashboard