CI: Upload test stats as artifacts, improve output of "List Docker images"#36970

Merged

vbraun merged 13 commits intosagemath:developfrom

mkoeppe:ci_upload_stats

Mar 25, 2024

Commits on Feb 14, 2024

tox.ini [DOCKER_BUILDKIT=1]: Do not attempt to retrieve a failed container from buildkit
mkoeppe
committed
tox.ini (docker): Move copying of logs from container here from .github/workflows/docker.yml
mkoeppe
committed
tox.ini (docker): Only append to Dockertags if BUILD_TAG is set
mkoeppe
committed
.github/workflows/docker.yml: Show Docker images as annotations, show instructions
mkoeppe
committed
build/pkgs/info: Update to 7.0.3
mkoeppe
committed
.github/workflows/docker.yml: Improve wording of Docker instructions
mkoeppe
committed
tox.ini (docker): Record successful pushes in Dockertags.pushed
mkoeppe
committed
.github/workflows/docker.yml: Use Dockertags.pushed
mkoeppe
committed
.github/workflows/docker.yml: Add instructions for the case that no Docker image is pushed
mkoeppe
committed
.github/workflows/docker.yml: Fix up
mkoeppe
committed
tox.ini (docker), build/bin/write-dockerfile.sh [DOCKER_BUILDKIT=1]: Save error status in a file
mkoeppe
committed
tox.ini (docker): Make DOCKER_BUILDKIT=1 the default
mkoeppe
committed
.github/workflows/docker.yml: Don't put tox venv in LOGS_ARTIFACT
mkoeppe
committed