Skip to content

Update leaderboard — 1 model, 1 verified bug (2026-07-06)#29

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
bot/leaderboard-28768356427
Closed

Update leaderboard — 1 model, 1 verified bug (2026-07-06)#29
github-actions[bot] wants to merge 1 commit into
mainfrom
bot/leaderboard-28768356427

leaderboard: refresh aggregate from scored submissions

30a66ca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar