Skip to content

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

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

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

d5251bf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar