add Miri to the nightly docs#98764

Merged

bors merged 3 commits intomasterfrom

unknown repository

Jul 4, 2022

Commits on Jul 3, 2022

Add miri to the rustc docs.rs page
InfRandomness
committed
Add in_tree macro literal
InfRandomness
committed
ignore rustdoc failures for out-of-tree tools

RalfJung
authored and
InfRandomness
committed