Stream: Coq devs & plugin devs

Topic: Runner running out of disk space?

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).

Maxime Dénès (Nov 27 2022 at 09:34):

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

Last updated: Apr 19 2024 at 00:02 UTC