Skip to content

evaluate_goal avoid unnecessary step#142774

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:search_graph-2
Jun 26, 2025
Merged

`evaluate_goal` avoid unnecessary step#142774
bors merged 2 commits intorust-lang:masterfrom
lcnr:search_graph-2

Commits

Commits on Jun 23, 2025