Build

Merge branch 'develop' into patch-18 #33

Job	Run time
docs / Build linux64	1m 19s
lint / lint	22s
test / Windows MSVC / Build win64	5m 48s
check-pr	0s
package / Windows / Build win64	8m 8s
package / Linux / Build linux64	1m 55s
test / Linux gcc-12 / Build linux64	2m 0s
test / Linux gcc-10 / Build linux64	1m 56s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	45s
test / Run Linux test suite / Test (ubuntu, gcc-10, default plugins, default config)	42s
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)	57s
	25m 9s

Provide feedback