kevinveenbirkenbach a49976fd41 Fix CI cleanup by force-resetting Docker root directory ...

- Use sudo to reliably remove root-owned files under INFINITO_DOCKER_VOLUME
- Recreate Docker root directory after cleanup
- Restore runner ownership to avoid follow-up permission issues
- Add debug output for ownership and permissions
- Document required INFINITO_DOCKER_VOLUME in script usage

This prevents poisoned CI runs caused by incomplete Docker cleanup between distros.

https://chatgpt.com/share/6988be7d-fe40-800f-8ab9-60825acc064d

2026-02-08 17:48:56 +01:00

..

act

…

ci

Fix CI cleanup by force-resetting Docker root directory

2026-02-08 17:48:56 +01:00

local

Solved reset bug

2026-02-06 18:02:24 +01:00