Build

Fix user-friendly job names so that they are the same as in the manager menu #6143

Job	Run time
docs / Build linux64	1m 22s
lint / lint	36s
test / Linux gcc-11 / Build linux64	6m 1s
test / Windows MSVC / Build win64	6h 0m 17s
test / Linux gcc-12 / Build linux64	7m 59s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)	1m 4s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	1m 5s
test / Run Windows test suite (empty config)	-1s
test / Run Windows test suite	-1s
test / Windows MSVC / Build win64	5m 12s
lint / lint	36s
docs / Build linux64	1m 22s
test / Linux gcc-12 / Build linux64	7m 59s
test / Linux gcc-11 / Build linux64	6m 1s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	1m 5s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)	1m 4s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	2m 24s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	1m 6s
	6h 45m 11s

Provide feedback