[PATCH v16 3/4] ci: Deduplicate the CI configuration for Windows.