Skip to content

sanitize_standard_fds: Miri supports poll now - #159961

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:miri-sanitize_standard_fds
Jul 27, 2026
Merged

sanitize_standard_fds: Miri supports poll now#159961
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:miri-sanitize_standard_fds

Commits

Commits on Jul 26, 2026