Build

Merge pull request #5668 from opticaldisc/patch-1 #11230

Job	Run time
docs / Build linux64	1m 9s
lint / lint	26s
package / Linux / Build linux64	1m 26s
package / Windows / Build win64	9m 26s
check-pr	0s
test / Windows MSVC / Build win64	5m 3s
test / Linux gcc-11 / Build linux64	2m 4s
test / Linux gcc-12 / Build linux64	1m 32s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	59s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)	59s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	1m 8s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	1m 25s
	25m 37s

Provide feedback