Stream: Coq devs & plugin devs

Topic: Nix job ran out of free space


view this post on Zulip Ali Caglayan (Oct 05 2022 at 20:35):

This is a new one https://gitlab.com/coq/coq/-/jobs/3132311056

view this post on Zulip Ali Caglayan (Oct 05 2022 at 20:36):

Did GitLab restrict the free disk space we have for the runners?

view this post on Zulip Maxime Dénès (Oct 05 2022 at 20:41):

That's not a shared gitlab runner

view this post on Zulip Maxime Dénès (Oct 05 2022 at 20:41):

I'll check it out. We probably need to put in place a job to clean up docker volumes

view this post on Zulip Maxime Dénès (Oct 05 2022 at 20:58):

Hum I wasn't able to reclaim a lot of space (but there's a job running)

view this post on Zulip Maxime Dénès (Oct 05 2022 at 20:58):

How much space does this job need?

view this post on Zulip Maxime Dénès (Oct 05 2022 at 21:06):

Ah no, ok, after refining the docker command I managed to free up much more

view this post on Zulip Maxime Dénès (Oct 05 2022 at 21:06):

What remains to be done is to deploy it as a cron job on all runners

view this post on Zulip Maxime Dénès (Oct 05 2022 at 21:22):

Ok, done.


Last updated: Feb 01 2023 at 16:03 UTC