Skip to content

miri: require (almost) all 1-ZST arguments to be actually passed#156085

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:miri-ignored-args
Jun 2, 2026
Merged

miri: require (almost) all 1-ZST arguments to be actually passed#156085
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:miri-ignored-args

miri: require (almost) all 1-ZST arguments to be actually passed

a96cc82
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 1, 2026 in 1m 12s