This topic was moved to #Coq devs & plugin devs > Coq-Ci needs full CI by Théo Zimmermann.
Last updated: Mar 28 2024 at 21:01 UTC