Skip to content

miri: add miri_spin_loop to make hint::spin_loop work consistently#150088

Merged
bors merged 1 commit intorust-lang:mainfrom
folkertdev:riscv-pause-miri
Dec 17, 2025
Merged

miri: add `miri_spin_loop` to make `hint::spin_loop` work consistently#150088
bors merged 1 commit intorust-lang:mainfrom
folkertdev:riscv-pause-miri

Commits

Commits on Dec 17, 2025