Skip to content

evaluate_goal avoid unnecessary step - #142774

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

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

inspect: merge `[Canonical]GoalEvaluation`

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

The logs for this run have expired and are no longer available.