Skip to content

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

Closed
msaroufim wants to merge 6 commits into
mainfrom
rename-benchmark-leaderboard-to-private-public
Closed

Rename submission modes: benchmark→private, leaderboard→public#413
msaroufim wants to merge 6 commits into
mainfrom
rename-benchmark-leaderboard-to-private-public

Fix PRIVATE mode submissions incorrectly receiving scores

a002f08
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar