Stream: Coq devs & plugin devs

Topic: ci


view this post on Zulip Gaëtan Gilbert (May 06 2022 at 16:06):

CI should be green now
what will break next?

view this post on Zulip Ali Caglayan (May 07 2022 at 18:16):

wdym?


Last updated: Mar 28 2024 at 12:01 UTC