Merge branch 'master' into master #33

Job	Run time
clippy	20s
codegen	10s
careful	5m 9s
dependencies	16s
docs	12s
loom	58s
miri (channel)	21m 33s
rustfmt	11s
miri (others)	10m 53s
san	14m 13s
shellcheck	51s
features (msrv)	1m 6s
test (1.63, ubuntu-latest)	11m 44s
features (nightly)	26s
test (1.63, ubuntu-24.04-arm)	11m 39s
test (1.63, windows-latest)	15m 53s
test (stable, ubuntu-latest)	10m 6s
test (stable, ubuntu-24.04-arm)	10m 23s
test (stable, windows-latest)	14m 36s
test (nightly, ubuntu-latest)	9m 30s
test (nightly, ubuntu-24.04-arm)	9m 42s
test (nightly, windows-latest)	13m 20s
test (nightly, ubuntu-latest, i686-unknown-linux-gnu)	11m 41s
test (nightly, ubuntu-24.04-arm, armv7-unknown-linux-gnueabihf)	10m 42s
test (nightly, ubuntu-latest, armv5te-unknown-linux-gnueabi)	17m 33s
test (stable, ubuntu-latest, sparc64-unknown-linux-gnu)	14m 56s
	3h 38m 3s

Provide feedback