Skip to content

Miri can do dirfd now - #163010

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:unix-dir-entry
Oct 2, 2026
Merged

Miri can do dirfd now#163010
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:unix-dir-entry

Miri can do dirfd now

31b8740
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Oct 1, 2026 in 45s