Rename submission modes: benchmark→private, leaderboard→public#413
Closed
msaroufim wants to merge 6 commits into
Closed
Rename submission modes: benchmark→private, leaderboard→public#413msaroufim wants to merge 6 commits into
msaroufim wants to merge 6 commits into
Commits
Commits on Feb 2, 2026
- committed
Mark Saroufim - committedMark Saroufim
- committedMark Saroufim
- committedMark Saroufim
- committedMark Saroufim
Commits on Feb 6, 2026
- committedMark Saroufim