Build

Merge master to fix duplicate sphinx label #41

Job	Run time
docs / Build linux64	1m 20s
lint / lint	17s
test / Linux gcc-11 / Build linux64	6m 57s
test / Linux gcc-12 / Build linux64	9m 6s
test / Windows MSVC / Build win64	23m 41s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	51s
test / Run Linux test suite / Test (ubuntu, gcc-11, default plugins, default config)	48s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	1m 14s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	1m 28s
	45m 42s

Provide feedback