Skip to content

Speed up EverInitializedPlaces - #160033

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
nnethercote:speed-up-EverInit
Aug 4, 2026
Merged

Speed up EverInitializedPlaces#160033
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
nnethercote:speed-up-EverInit

Fix "first assignment" labels for `EverInitializedPlaces`

3a7e145
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 3, 2026 in 37s