Skip to content

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

Merged
bors merged 1 commit into
rust-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 into
rust-lang:mainfrom
folkertdev:riscv-pause-miri

add `miri_spin_loop` to make `hint::spin_loop` work consistently

c7dd19b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view