Skip to content

Port doc attributes to new attribute API - #149645

Merged
bors merged 32 commits into
rust-lang:mainfrom
GuillaumeGomez:doc-attr-based
Dec 12, 2025
Merged

Port doc attributes to new attribute API#149645
bors merged 32 commits into
rust-lang:mainfrom
GuillaumeGomez:doc-attr-based

Do not error if there are duplicated doc attributes

5180632
Select commit
Loading
Failed to load commit list.
rust-bors / Bors try build succeeded Dec 11, 2025 in 2h 26m 41s

Bors try build

View more details on rust-bors