Merge branch '1240' #3783

Job	Run time
test-32bit (armv7-linux-androideabi)	1m 20s
test	20m 23s
installation (win-msvc)	5m 28s
installation (win-gnu)	6m 28s
cargo-deny (advisories)	32s
installation (win32-msvc)	5m 22s
lint	3m 34s
cargo-deny (bans licenses sources)	31s
installation (win32-gnu)	5m 43s
WebAssembly (wasm32-unknown-unknown)	1m 9s
WebAssembly (wasm32-wasi)	1m 7s
pure-rust-build	1m 57s
test-fast (windows-latest)	15m 0s
test-fast (macos-latest)	4m 40s
test-fast (ubuntu-latest)	3m 33s
	1h 16m 47s

Provide feedback