Skip to content

rustdoc: use descriptive tooltip if doctest is conditionally ignored#141517

Merged
bors merged 2 commits intorust-lang:masterfrom
lolbinarycat:rustdoc-doctest-tooltip-ignore-141092
May 28, 2025
Merged

rustdoc: use descriptive tooltip if doctest is conditionally ignored#141517
bors merged 2 commits intorust-lang:masterfrom
lolbinarycat:rustdoc-doctest-tooltip-ignore-141092

Commits

Commits on May 24, 2025

Commits on May 26, 2025