Skip to content

Show the nested goal chain for the next solver overflow FCW - #161341

Open
adwinwhite wants to merge 5 commits into
rust-lang:mainfrom
adwinwhite:overflow-fcw-chain
Open

Show the nested goal chain for the next solver overflow FCW#161341
adwinwhite wants to merge 5 commits into
rust-lang:mainfrom
adwinwhite:overflow-fcw-chain

visit nested goal with largest required depth

ce9f31f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 20, 2026 in 33s