POC for versioned leaderboards#472

Open

msaroufim wants to merge 3 commits intomainfrom

Commits on Mar 13, 2026

[POC] Add task versioning and backfill support for eval changes
msaroufim
committed

Commits on Mar 19, 2026

Fix duplicate backfill bug and deduplicate update SQL
msaroufim
committed
Merge origin/main; add Discord backfill command, progress tracking, and tests
msaroufim
committed