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

Rename `project-stable-mir` to `project-rustc-public`

1ef529d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 17, 2026 in 1m 12s