Stream: Coq devs & plugin devs

Topic: runners

Gaëtan Gilbert (Apr 05 2022 at 11:02):

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

• we don't use them
• the underlying vms expired a couple weeks ago so they don't work

Gaëtan Gilbert (Apr 05 2022 at 11:03):

done

Last updated: Feb 06 2023 at 19:03 UTC