Stream: Coq devs & plugin devs

Topic: Runner running out of disk space?


view this post on Zulip Théo Zimmermann (Nov 24 2022 at 10:25):

@Maxime Dénès I've seen a no space left on device on ci-coq-02-runner-04 today (https://gitlab.com/coq/coq/-/jobs/3369327150).

view this post on Zulip Maxime Dénès (Nov 27 2022 at 09:34):

The runner seems fine currently. Let's monitor if this happens again.


Last updated: Feb 05 2023 at 20:03 UTC