CI (Coq, opam) #923

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	38m 21s
install (dev, macOS, macos-latest, 4.14.2)	35m 53s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...	1h 24m 23s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	40m 17s
install (8.19.0, macOS, macos-latest, 4.14.2)	32m 21s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 31m 55s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	41m 46s
install (8.18.0, macOS, macos-latest, 4.14.2)	37m 0s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 36m 15s
	8h 18m 11s

Provide feedback