.github/workflows/docker.yml: Interrupt the build before the 6 hour cancellation#36670

Merged

vbraun merged 1 commit intosagemath:developfrom mkoeppe:tox_docker_trap_signals

Nov 14, 2023

+5

Commits on Nov 13, 2023

.github/workflows/docker.yml: Interrupt the build before it gets canceled at 6 hours
mkoeppe
committed