[PATCH v4 1/9] ci: Deduplicate the CI configuration for Windows.