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 (

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: Nov 29 2023 at 19:01 UTC