Repository navigation

Rollup of 6 pull requests - #107989

Merged

bors merged 13 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-jklrd5g

Feb 13, 2023

Commits on Jan 27, 2023
- rustdoc: merge doctest tooltip with notable traits tooltip
  notriddle
  committed
  7aa4a20
Commits on Feb 9, 2023
- Introduce `-Zterminal-urls` to use OSC8 for error codes
  estebank
  committed
  a576514
Commits on Feb 11, 2023
- Print disk usage in PGO CI script
  Kobzol
  committed
  1403310
- Intern span when length is MAX_LEN with parent.
  cjgillot
  committed
  e80afa6
- Pacify tidy.
  cjgillot
  committed
  84bb373
- rustc_ast: Merge impls and reorder methods for attributes and meta items
  petrochenkov
  committed
  37a72a2
Commits on Feb 13, 2023