Skip to content

Add two comments relating to new-solver performance - #161631

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:new-solver-perf-comments
Aug 25, 2026
Merged

Add two comments relating to new-solver performance#161631
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:new-solver-perf-comments

Add two comments relating to new-solver performance

dc42f11
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 24, 2026 in 39s