Build

Merge remote-tracking branch 'upstream/develop' into resteam #11459

Job	Run time
lint / lint	24s
docs / Build linux64	1m 26s
test / Windows MSVC / Build win64	3m 49s
package / Linux / Build linux64	1m 55s
package / Windows / Build win64	4m 35s
test / Linux gcc-12 / Build linux64	1m 51s
test / Linux gcc-11 / Build linux64	1m 42s
check-pr	-1s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	55s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)	49s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	1m 17s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	1m 5s
	19m 47s

Provide feedback