Stream: Coq devs & plugin devs

Topic: CI timeout in "preparing" step

Gaëtan Gilbert (Sep 21 2023 at 13:34):

https://gitlab.inria.fr/coq/coq/-/jobs/3439760
cc @Thierry Martinez

Last updated: Nov 29 2023 at 21:01 UTC