Skip to content

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

Open
msaroufim wants to merge 1 commit intomainfrom
rename-benchmark-leaderboard-to-private-public
Open

Rename submission modes: benchmark→private, leaderboard→public#33
msaroufim wants to merge 1 commit intomainfrom
rename-benchmark-leaderboard-to-private-public

Commits

Commits on Feb 2, 2026