[PATCH v6 01/10] ci: Deduplicate the CI configuration for Windows.