Coq 8.19 #881

Job	Run time
install-windows	0s
dev-setup-opam (ubuntu-latest, 4.13.x)	8m 29s
build-extension (macos-latest)	2m 2s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)	8m 16s
build-extension (ubuntu-latest)	48s
install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)	8m 25s
build-extension (windows-latest)	6m 38s
nix-dev-build (ubuntu-latest, coq-8-18)	2m 37s
nix-dev-build (ubuntu-latest, coq-8-19)	2m 37s
nix-dev-build (ubuntu-latest, coq-master)	5m 53s
nix-dev-build (macos-latest, coq-8-18)	4m 59s
nix-dev-build (macos-latest, coq-8-19)	6m 37s
nix-dev-build (macos-latest, coq-master)	12m 38s
create-release	0s
	1h 9m 59s

Provide feedback