Skip to content

Apply MCP 1003 and move diagnostics.rs into its own module#158732

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:rename-diagnostics
Jul 13, 2026
Merged

Apply MCP 1003 and move diagnostics.rs into its own module#158732
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:rename-diagnostics

Apply MCP 1003 and move `diagnostics.rs` into its own module and move…

65ed52f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 12, 2026 in 38s