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