Skip to content

Merge rustc_lint/lints.rs into diagnostics.rs - #160755

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
JonathanBrouwer:rustc_lint_diags
Aug 9, 2026
Merged

Merge rustc_lint/lints.rs into diagnostics.rs#160755
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
JonathanBrouwer:rustc_lint_diags

Merge `rustc_lint/lints.rs` into `diagnostics.rs`

92c6357
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 8, 2026 in 42s