Build

Merge pull request #1495 from chdoc/fix-husbandry #6024

Job	Run time
lint / lint	1m 30s
docs / Build linux64	1m 26s
test / Windows MSVC / Build win64	10m 39s
test / Linux gcc-12 / Build linux64	3m 21s
test / Linux gcc-10 / Build linux64	2m 18s
test / Run Linux test suite / Test (ubuntu, gcc-10, default plugins, default config)	1m 0s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	47s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	1m 8s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	59s
	23m 8s

Provide feedback