Skip to content

Rename submission modes: benchmark→private, leaderboard→public#413

Open
msaroufim wants to merge 5 commits intomainfrom
rename-benchmark-leaderboard-to-private-public
Open

Rename submission modes: benchmark→private, leaderboard→public#413
msaroufim wants to merge 5 commits intomainfrom
rename-benchmark-leaderboard-to-private-public

Commits

Commits on Feb 2, 2026