CI (Coq, opam) #827

Job	Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)	38m 24s
install (dev, 4.11.1, macOS, macos-latest)	49m 11s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...	1h 29m 58s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)	38m 36s
install (8.19.0, 4.11.1, macOS, macos-latest)	52m 42s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 31m 3s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)	38m 39s
install (8.18.0, 4.11.1, macOS, macos-latest)	45m 57s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 32m 50s
	8h 57m 20s

Provide feedback