Repository navigation

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

Commits on Oct 7, 2026
- FIX: join score categories in pretty score output
  Ayoub (Ayoubhm07)
  committed
  58e0e19
Commits on Oct 9, 2026
- Merge latest upstream main into fix/join-score-categories-pretty
  
  Roman Lutz (romanlutz)
  and
  Copilot
  committed
  8a9c9be
- Merge latest upstream main into fix/join-score-categories-pretty
  
  Roman Lutz (romanlutz)
  and
  Copilot
  committed
  6d5d3e8
- FIX: escape newlines in pretty score categories
  
  Roman Lutz (romanlutz)
  and
  Copilot
  committed
  fad0174
- Merge upstream main updates into fix/join-score-categories-pretty
  
  Roman Lutz (romanlutz)
  and
  Copilot
  committed
  e9ef484