Reverse leaderboard sorting

app.py

@@ -89,7 +89,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.score, entry.rank))
+                for entry in sorted(entries.values(), key=lambda entry: (entry.score, entry.rank), reverse=True)
             ]
 
             gr.components.Dataframe(