Skip to content

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

Merged
nxsaken merged 1 commit into
rust-lang:mainfrom
nxsaken:project-stable-mir
Jun 17, 2026
Merged

Rename project-stable-mir to project-rustc-public#690
nxsaken merged 1 commit into
rust-lang:mainfrom
nxsaken:project-stable-mir

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

ec8e20a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jun 17, 2026 in 45s