Skip to content

port lint attributes - #162811

Merged
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
mejrs:port_lint_check
Oct 13, 2026
Merged

port lint attributes#162811
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
mejrs:port_lint_check

fix tidy

ea4a0bd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Run zizmor
succeeded Oct 13, 2026 in 39s