I'm going to remove the coq-windows runners from gitlab as
done
Last updated: Jun 08 2023 at 04:01 UTC