Skip to content

Resolver: Wrap arenas in WorkerLocal#159019

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
LorrensP-2158466:worker-local-arenas
Jul 11, 2026
Merged

Resolver: Wrap arenas in WorkerLocal#159019
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
LorrensP-2158466:worker-local-arenas

Wrap the resolver arenas into `WorkerLocal` in preperation of paralle…

72e9ddc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 10, 2026 in 38s