Skip to content

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

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

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

Commits

Commits on Feb 2, 2026