A bit more info in various CIs #852

Job	Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)	40m 20s
install (dev, 4.11.1, macOS, macos-latest)	1h 16m 48s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...	1h 39m 52s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)	40m 16s
install (8.19.0, 4.11.1, macOS, macos-latest)	43m 39s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 37m 24s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)	41m 46s
install (8.18.0, 4.11.1, macOS, macos-latest)	1h 29m 35s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 43m 51s
	10h 33m 31s

Provide feedback