Code

add Miri to rustc rustdoc page#98714

Code

Closed

RalfJung wants to merge 3 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-rustdocRalfJung/rust:miri-rustdocCopy head branch name to clipboard

Commits

Commits on Jun 30, 2022

• Add miri to the rustc docs.rs page

  Show description for c113fbe
  

  infrandomness

  authored and

  RalfJung

  committed
  c113fbe

  Copy full SHA for c113fbe

• Add in_tree macro literal

  

  infrandomness

  authored and

  RalfJung

  committed
  798c6f7

  Copy full SHA for 798c6f7

• ignore rustdoc failures for out-of-tree tools

  RalfJung

  committed
  c25d566

  Copy full SHA for c25d566