Merge pull request #21 from Samoed/add_rusian_models 2461f1b unverified Muennighoff commited on Aug 6
Add workflow dispatch to leaderboard update: allows for refresh via UI 71544e2 Tom Aarsen commited on Jul 29