Skip to content

Remove "tidy" tool for tests/rustdoc testsuite#149850

Merged
bors merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:rm-tidy-rustdoc
Dec 12, 2025
Merged

Remove "tidy" tool for `tests/rustdoc` testsuite#149850
bors merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:rm-tidy-rustdoc

Commits

Commits on Dec 10, 2025