Skip to content

Bump rustc to remove ShallowInitBox#1033

Closed
N1ark wants to merge 4 commits into
AeneasVerif:mainfrom
soteria-tools:bump-rustc-boxes
Closed

Bump rustc to remove ShallowInitBox#1033
N1ark wants to merge 4 commits into
AeneasVerif:mainfrom
soteria-tools:bump-rustc-boxes

Update ML

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

Annotations

2 warnings
charon
succeeded May 15, 2026 in 3m 59s