Code

add Miri to the nightly docs#98764

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

b-NC:miri-rustdocb-NC/rust:miri-rustdocCopy head branch name to clipboard

Jul 4, 2022

Commits

Commits on Jul 3, 2022

• Add miri to the rustc docs.rs page

  Show description for dbe77e8
  b-NC

  committed
  dbe77e8

  Copy full SHA for dbe77e8

• Add in_tree macro literal

  Show description for 45a69cc
  b-NC

  committed
  45a69cc

  Copy full SHA for 45a69cc

• ignore rustdoc failures for out-of-tree tools

  

  RalfJung

  authored and

  b-NC

  committed
  ed92d88

  Copy full SHA for ed92d88