Skip to content

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

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

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

./x run miri: default to edition 2021

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