Build

Merge branch 'develop' into plugin_preservetombs #53

Job	Run time
check-pr	0s
lint / lint	24s
docs / Build linux64	1m 24s
test / Windows MSVC / Build win64	6m 53s
package / Linux / Build linux64	2m 22s
package / Windows / Build win64	6m 46s
test / Linux gcc-10 / Build linux64	1m 34s
test / Linux gcc-12 / Build linux64	1m 47s
test / Test (windows, msvc, default plugins, default config)	52s
test / Test (windows, msvc, default plugins, empty config)	45s
test / Test (ubuntu, gcc-10, default plugins, default config)	35s
test / Test (ubuntu, gcc-12, all plugins, default config)	1m 1s
	24m 23s

Provide feedback