Skip to content

Rename ModDefId to ModId and use more - #159197

Merged
rust-bors[bot] merged 6 commits into
rust-lang:mainfrom
camsteffen:more-modid
Jul 15, 2026
Merged

Rename ModDefId to ModId and use more#159197
rust-bors[bot] merged 6 commits into
rust-lang:mainfrom
camsteffen:more-modid

Fix clippy with ModId refactors

2c70f93
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 14, 2026 in 36s