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

Closed

msaroufim wants to merge 6 commits intomainfrom

rename-benchmark-leaderboard-to-private-public

Commits on Feb 2, 2026

Rename submission modes: benchmark→private, leaderboard→public
Mark Saroufim
committed
Fix test files to use new private/public mode naming
Mark Saroufim
committed
Fix test_submit_full mock and expected mode
Mark Saroufim
committed
Fix GitHub integration test to use PR branch
Mark Saroufim
committed
Fix test_submit_full mock to return mode-specific results
Mark Saroufim
committed

Commits on Feb 6, 2026

Fix PRIVATE mode submissions incorrectly receiving scores
Mark Saroufim
committed