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

msaroufim wants to merge 1 commit into

maingpu-mode/reference-kernels:mainfrom

rename-benchmark-leaderboard-to-private-publicgpu-mode/reference-kernels:rename-benchmark-leaderboard-to-private-publicCopy head branch name to clipboard