Skip to content

remove more trivial regions in evaluate_added_goals_and_make_canonical_response - #162032

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
sjwang05:more-region-dedup
Sep 6, 2026
Merged

remove more trivial regions in evaluate_added_goals_and_make_canonical_response#162032
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
sjwang05:more-region-dedup

treat more kinds of regions as trivial in evaluate_added_goals_and_ma…

e9ab50c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 6, 2026 in 38s