Stream:
Coq devs & plugin devs
Topic:
ci
Gaëtan Gilbert
(May 06 2022 at 16:06)
:
CI should be green now
what will break next?
Ali Caglayan
(May 07 2022 at 18:16)
:
wdym?
Last updated: Mar 28 2024 at 12:01 UTC