Merge branch 'master' into reduce-ci #1289

Job	Run time
Build & test (stable, ubuntu-latest)	5m 31s
Build & test (stable, macos-latest)	2m 44s
Build & test (stable, windows-latest)	9m 7s
Build & test (nightly, ubuntu-latest)	3m 38s
Build & test (nightly, macos-latest)	3m 2s
Build & test (nightly, windows-latest)	8m 17s
Build & test (1.84, ubuntu-latest)	5m 47s
Build & test (1.84, macos-latest)	2m 52s
Build & test (1.84, windows-latest)	8m 33s
Test with external dependencies	2m 35s
Test coverage checks	7m 32s
Clippy lint checks	26s
Build with each feature combination	2m 52s
Minimal dependency versions build	25s
Miri test	14m 48s
Code formatting checks	15s
Machete dependencies checks	13s
	1h 18m 37s

Provide feedback