Build

Merge pull request #1439 from myk002/myk_5111 #5751

Job	Run time
docs / Build linux64	1m 17s
lint / lint	20s
test / Windows MSVC / Build win64	5m 26s
test / Linux gcc-10 / Build linux64	3m 30s
test / Linux gcc-12 / Build linux64	5m 7s
test / Run Linux test suite / Test (ubuntu, gcc-10, default plugins, default config)	3m 8s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	11s
test / Run Windows test suite (empty config)	0s
test / Run Windows test suite	0s
	18m 59s

Provide feedback