Skip to content

search graph: lazily update parent goals#144955

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

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

Commits

Commits on Aug 12, 2025