Skip to content

library: allow some unused things in Miri - #103564

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-unused
Oct 27, 2022
Merged

library: allow some unused things in Miri#103564
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:miri-unused

library: allow some unused things in Miri

20ab57e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs