⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
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