Skip to content

rustc_middle: lint attribute cleanups - #160066

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
mejrs:middle_exports
Jul 31, 2026
Merged

rustc_middle: lint attribute cleanups#160066
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
mejrs:middle_exports

Update/remove lint attributes

a5963dc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 28, 2026 in 32s