v0.4.13 #466

Job	Run time
test (1.85.0)	52s
doc	24s
careful	58s
coverage	22s
clippy	21s
miri (x86_64-unknown-linux-gnu)	52s
test (stable)	35s
miri (s390x-unknown-linux-gnu)	1m 3s
rustfmt	10s
build (1.85.0, armv7a-none-eabi)	1m 22s
build (stable, wasm32-unknown-unknown)	1m 18s
build (stable, thumbv7em-none-eabi)	1m 16s
build (1.85.0, thumbv7em-none-eabi)	1m 24s
build (1.85.0, wasm32-unknown-unknown)	1m 24s
build (stable, armv7a-none-eabi)	1m 11s
	13m 32s

Provide feedback