Build

Merge pull request #5190 from myk002/myk_dig_dug #9909

Job	Run time
check-pr	0s
docs / Build linux64	1m 8s
lint / lint	15s
test / Windows MSVC / Build win64	3m 29s
package / Windows / Build win64	6m 21s
package / Linux / Build linux64	1m 22s
test / Linux gcc-10 / Build linux64	1m 16s
test / Linux gcc-12 / Build linux64	1m 24s
test / Run Linux test suite / Test (ubuntu, gcc-10, default plugins, default config)	42s
test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)	37s
test / Run Windows test suite / Test (windows, msvc, default plugins, default config)	48s
test / Run Windows test suite (empty config) / Test (windows, msvc, default plugins, empty config)	49s
	18m 11s

Provide feedback