Skip to content

./x run miri: default to edition 2021#154635

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:miri-run-edition
Mar 31, 2026
Merged

./x run miri: default to edition 2021#154635
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:miri-run-edition

Commits

Commits on Mar 31, 2026