Skip to content

enable next solver in Miri - #161512

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:miri-next
Aug 22, 2026
Merged

enable next solver in Miri#161512
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:miri-next

enable next solver in Miri

9940d77
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 22, 2026 in 36s