Merge pull request #716 from coq-community/disable-install-windows-ci #869

Job	Run time
install-opam (ubuntu-latest, 4.13.x)	11m 27s
dev-setup-opam (ubuntu-latest, 4.13.x)	11m 30s
install-windows	0s
build-extension (macos-latest)	1m 19s
nix-dev-build (ubuntu-latest)	5m 35s
build-extension (ubuntu-latest)	40s
nix-dev-build (macos-latest)	18m 15s
build-extension (windows-latest)	3m 51s
create-release	0s
	52m 37s

Provide feedback