Merge pull request #679 from coq-community/perf-issues #811

Job	Run time
dev-setup-opam (ubuntu-latest, 4.13.x)	14m 35s
install-opam (ubuntu-latest, 4.13.x)	14m 51s
build-extension (macos-latest)	1m 36s
install-windows	1h 19m 58s
build-extension (ubuntu-latest)	45s
nix-dev-build (ubuntu-latest)	5m 35s
build-extension (windows-latest)	2m 48s
nix-dev-build (macos-latest)	12m 14s
create-release	6s
	2h 12m 28s

Provide feedback