[PATCH v17 1/2] ci: Deduplicate the CI configuration for Windows.