Split github CI actions into 2 workflows + disable windows while it's broken#15535

Merged

coqbot-app[bot] merged 2 commits intocoq:masterfrom SkySkimmer:split-github-actions

Jan 24, 2022

+55-51

Commits on Jan 24, 2022