Summary
CentOS 7 reached its end-of-life on 30/06/2024, making its repositories unavailable. Therefore, continuing to build CI images for it is no longer sensible. We have now switched to Rocky Linux 8.