kevinveenbirkenbach 0ca8448b30 ci: hard-clean Docker state between distro deploys ...

- remove host-mounted INFINITO_DOCKER_VOLUME between runs
- recreate docker data dir to avoid cross-distro state leakage
- keep images while fully resetting containers, networks and volumes
- ensure clean CI environment for each distro deploy

2026-02-03 20:06:36 +01:00

..

all_distros.sh

feat(ci): shuffle distros before deploy to improve fairness under time budget

2026-02-03 14:37:45 +01:00

dedicated_distro.sh

ci: hard-clean Docker state between distro deploys

2026-02-03 20:06:36 +01:00