This is a new one https://gitlab.com/coq/coq/-/jobs/3132311056
Did GitLab restrict the free disk space we have for the runners?
That's not a shared gitlab runner
I'll check it out. We probably need to put in place a job to clean up docker volumes
Hum I wasn't able to reclaim a lot of space (but there's a job running)
How much space does this job need?
Ah no, ok, after refining the docker command I managed to free up much more
What remains to be done is to deploy it as a cron job on all runners
Last updated: Dec 07 2023 at 09:01 UTC