CI (Coq, opam) #6

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	6h 0m 15s
install (dev, macOS, macos-latest, 4.14.2)	3m 25s
install (dev, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#master,...	6h 0m 8s
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)	20m 32s
install (8.20.0, macOS, macos-latest, 4.14.2)	16m 51s
install (8.20.0, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#mast...	29m 29s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	20m 51s
install (8.19.0, macOS, macos-latest, 4.14.2)	17m 16s
install (8.19.0, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#mast...	29m 25s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	21m 59s
install (8.18.0, macOS, macos-latest, 4.14.2)	17m 25s
install (8.18.0, Windows, windows-latest, 4.13.1, git+https://github.com/ocaml/ocamlfind.git#mast...	37m 41s
	15h 35m 17s

Provide feedback