Skip to content

Keep full leaderboard names readable in narrow layouts - #267

Merged
msaroufim merged 1 commit into
mainfrom
agent/leaderboard-full-display-names
Oct 29, 2026
Merged

msaroufim merged 1 commit into
mainfrom
agent/leaderboard-full-display-names

Commits

  1. Commits on Oct 29, 2026