Build

merge develop into plugin_preservetombs #58

Job	Run time
check-pr	0s
lint / lint	27s
docs / Build linux64	1m 20s
package / Linux / Build linux64	7m 49s
package / Windows / Build win64	29m 27s
test / Windows MSVC / Build win64	35m 8s
test / Linux gcc-10 / Build linux64	6m 23s
test / Linux gcc-12 / Build linux64	8m 36s
test / Test (windows, msvc, default plugins, default config)	48s
test / Test (windows, msvc, default plugins, empty config)	42s
test / Test (ubuntu, gcc-10, default plugins, default config)	42s
test / Test (ubuntu, gcc-12, all plugins, default config)	51s
	1h 32m 13s

Provide feedback