Adjust badges for linux workflows #706

Job	Run time
install (dev, 4.11.1, ubuntu-latest)	1h 2m 21s
install (dev, 4.11.1, macos-latest)	45m 36s
install (dev, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opam-r...	2h 13m 22s
install (8.18.0, 4.11.1, ubuntu-latest)	1h 6m 32s
install (8.18.0, 4.11.1, macos-latest)	48m 0s
install (8.18.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...	3h 3m 19s
install (8.17.0, 4.11.1, ubuntu-latest)	41m 19s
install (8.17.0, 4.11.1, macos-latest)	52m 32s
install (8.17.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...	1h 41m 6s
	12h 14m 7s

Provide feedback