Fix leaderboard sorting

app.py

@@ -90,7 +90,7 @@ def refresh_leaderboard():
 
  leaderboard: list[tuple] = [
  (entry.rank + 1, entry.uid, entry.model, entry.score, entry.hotkey, entry.previous_day_winner)
- for entry in sorted(entries.values(), key=lambda entry: entry.rank)
+ for entry in sorted(entries.values(), key=lambda entry: (entry.score, entry.rank))
  ]
 
  gr.components.Dataframe(