Merge pull request #510 from GuillaumeGomez/fmt-cmd #164

Job	Run time
build_system	38s
build (gcc-13.deb, --mini-tests)	6m 48s
build (gcc-13.deb, --std-tests)	6m 38s
duplicates	2s
build (gcc-13.deb, --test-libcore)	15m 19s
build (gcc-13.deb, --extended-rand-tests)	9m 39s
build (gcc-13.deb, --extended-regex-example-tests)	7m 35s
build (gcc-13.deb, --extended-regex-tests)	13m 20s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	16m 31s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 8s
build (gcc-13.deb, --projects)	18m 16s
build (gcc-13-without-int128.deb, --mini-tests)	5m 43s
build (gcc-13-without-int128.deb, --std-tests)	5m 49s
build (gcc-13-without-int128.deb, --test-libcore)	14m 42s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 42s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 28s
build (gcc-13-without-int128.deb, --extended-regex-tests)	12m 7s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 43s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 26s
build (gcc-13-without-int128.deb, --projects)	17m 29s
	3h 24m 3s

Provide feedback