Stream: Coq devs & plugin devs

Topic: runners


view this post on Zulip Gaëtan Gilbert (Apr 05 2022 at 11:02):

I'm going to remove the coq-windows runners from gitlab as

view this post on Zulip Gaëtan Gilbert (Apr 05 2022 at 11:03):

done


Last updated: Feb 06 2023 at 19:03 UTC