Repository navigation
Fix duplicate leaderboard entries and clipped display names - #266
Merged
Merged
Conversation
alexzhang13
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Users with several submissions tied for their best score appeared multiple times per GPU. On matmul_v2/A100, zjsxply appeared three times and Fridolin Haugg twice.
Select one best run per account and GPU with ROW_NUMBER, breaking ties by earliest submission time, submission ID, and run ID. Apply this rule to API rankings, legacy pages, summaries, and the ranking worker. Bump the ended-summary cache namespace so cached duplicates are recomputed. Score ties between different accounts remain intact.
Validation: 15 targeted tests passed using local PostgreSQL and an in-memory Redis substitute (Docker unavailable). Coverage includes tied submissions, repeated runs, different accounts sharing a name, submission counts, and hacked/failed-secret filtering. Ruff and git diff --check passed. A read-only run of the corrected production query for leaderboard 540 returned one entry each for zjsxply and Fridolin with unchanged scores.
No database migration or submission changes are needed.
Long display names also clipped in narrow browser panes. Give names a full row on small screens and allow wrapping, keeping the exact requested name “Nebius Applied AI Team” readable. Verified in a local browser preview using public production API data; frontend lint and production build passed. This adds a frontend change, so CI reruns on the new commit.