⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.

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

Open

msaroufim wants to merge 6 commits intomainfrom

rename-benchmark-leaderboard-to-private-public