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: May 31 2023 at 15:01 UTC