Skip to content

Fix duplicate leaderboard entries and clipped display names - #266

Merged
msaroufim merged 1 commit into
mainfrom
agent/leaderboard-deduplicate-ties
Oct 29, 2026
Merged

Fix duplicate leaderboard entries and clipped display names#266
msaroufim merged 1 commit into
mainfrom
agent/leaderboard-deduplicate-ties

Show one best submission per user and GPU when scores tie

760d712
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar