Skip to content

search graph: lazily update parent goals#144955

Merged
bors merged 1 commit into
rust-lang:masterfrom
lcnr:lazily-update-non-parent-goals
Aug 13, 2025
Merged

search graph: lazily update parent goals#144955
bors merged 1 commit into
rust-lang:masterfrom
lcnr:lazily-update-non-parent-goals

simplify stack handling, be completely lazy

db1a64c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view