This repository was archived by the owner on Jan 29, 2026. It is now read-only.
This repository was archived by the owner on Jan 29, 2026. It is now read-only.
Clean up leaderboards #28
Description
Separate leaderboard from submissions, as to allow easier building and manipulation of leaderboard entries (will be helpfull for older challenges & with the addition of model id)