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: Feb 06 2023 at 20:02 UTC