Skip to content

FIX: join score categories in pretty score output - #3014

Merged
Roman Lutz (romanlutz) merged 5 commits into
microsoft:mainfrom
Ayoubhm07:fix/join-score-categories-pretty
Oct 9, 2026
Merged

FIX: join score categories in pretty score output#3014
Roman Lutz (romanlutz) merged 5 commits into
microsoft:mainfrom
Ayoubhm07:fix/join-score-categories-pretty

Merge upstream main updates into fix/join-score-categories-pretty

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

Annotations

1 notice
coverage
succeeded Oct 9, 2026 in 8m 12s