Replace "k" notation with full digits and thin space separators on leaderboards#3607

Closed

elisescu wants to merge 4 commits intomainfrom

claude/issue-3583-20251009-2053

Commits on Oct 27, 2025

Replace "k" notation with full digits and thin space separators on leaderboards

committed
Remove JSDoc comments from formatLeaderboardNumber function

github-actions[bot]
and
elisescu
committed
Fix TypeScript error in formatLeaderboardNumber function

github-actions[bot]
and
elisescu
committed
Run prettier formatter on code

github-actions[bot]
and
elisescu
committed