Skip to content

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

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

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

Rename submission modes: benchmark→private, leaderboard→public

95e3dc6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar