Skip to content

disable next-solver with higher-ranked-assumptions - #163949

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
lcnr:higher-ranked-assumptions-yeet
Oct 8, 2026
Merged

disable next-solver with higher-ranked-assumptions#163949
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
lcnr:higher-ranked-assumptions-yeet

disable next-solver with higher-ranked-assumptions

7870b60
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Oct 7, 2026 in 57s