Repository navigation

Rollup of 7 pull requests - #112159

Closed

matthiaskrgr wants to merge 16 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-0eh9v4w

Closed

Rollup of 7 pull requests#112159
matthiaskrgr wants to merge 16 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-0eh9v4w

Commits on May 20, 2023
- Make `x test --dry-run` less verbose
  jyn514
  committed
  cfe8e85
Commits on May 23, 2023
- rustdoc: add interaction delays for tooltip popovers
  notriddle
  committed
  c1d72de
Commits on May 24, 2023
- rustdoc: add hover indicator for notable trait tooltip
  notriddle
  committed
  b9302d7
Commits on May 31, 2023
Commits on Jun 1, 2023