Skip to content

Rename project-stable-mir to project-rustc-public - #158029

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
makai410:rpub-update
Jun 18, 2026
Merged

Rename project-stable-mir to project-rustc-public#158029
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
makai410:rpub-update

Commits

Commits on Jun 17, 2026