Build

Really excise tinythread #6613

Job	Run time
check-pr	1s
lint / lint	17s
docs / Build linux64	57s
package / Linux / Build linux64	6m 43s
package / Windows / Build win64	19m 38s
test / Windows MSVC / Build win64	17m 12s
test / Linux gcc-10 / Build linux64	5m 25s
test / Linux gcc-12 / Build linux64	7m 27s
test / Test (windows, msvc, default plugins, default config)	10m 40s
test / Test (windows, msvc, default plugins, empty config)	10m 39s
test / Test (ubuntu, gcc-10, default plugins, default config)	35s
test / Test (ubuntu, gcc-12, all plugins, default config)	39s
	1h 20m 13s

Provide feedback