Skip to content

Comments

Revert "Remove LOC column from leaderboard rankings"#169

Merged
msaroufim merged 1 commit intomainfrom
revert-168-remove-loc-from-leaderboard
Feb 11, 2026
Merged

Revert "Remove LOC column from leaderboard rankings"#169
msaroufim merged 1 commit intomainfrom
revert-168-remove-loc-from-leaderboard

Conversation

@msaroufim
Copy link
Member

Reverts #168

@msaroufim msaroufim merged commit 0418119 into main Feb 11, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant