[PATCH v11 2/3] ci: Deduplicate the CI configuration for Windows.