Don't print the report too early #978

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	42m 17s
install (dev, macOS, macos-latest, 4.14.2)	34m 54s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...	1h 33m 19s
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)	39m 21s
install (8.20.0, macOS, macos-latest, 4.14.2)	36m 30s
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 34m 21s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	40m 58s
install (8.19.0, macOS, macos-latest, 4.14.2)	35m 18s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 34m 50s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	42m 25s
install (8.18.0, macOS, macos-latest, 4.14.2)	39m 19s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 38m 7s
	11h 31m 39s

Provide feedback