Build

[gui/control-panel] highlight tailor's no dump option #4895

Job	Run time
lint / lint	18s
lint / lint	18s
docs / Build linux64	1m 19s
docs / Build linux64	1m 19s
test / Windows MSVC / Build win64	5m 16s
test / Windows MSVC / Build win64	5m 16s
test / Linux gcc-10 / Build linux64	1m 27s
test / Linux gcc-10 / Build linux64	1m 27s
test / Linux gcc-12 / Build linux64	1m 18s
test / Linux gcc-12 / Build linux64	1m 18s
test / Run Linux test suite / Test (ubuntu, gcc-10, default plugins, default config)	10m 52s
test / Run Linux test suite / Test (ubuntu, gcc-10, default plugins, default config)	40s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	51s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	51s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	57s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	57s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	53s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	53s
	36m 10s

Provide feedback