leaderboard_demo / .github /workflows /update_leaderboard.yml

Commit History

Add workflow dispatch to leaderboard update: allows for refresh via UI
71544e2

Tom Aarsen commited on

Update update_leaderboard.yml
5b46c84
unverified

Orion Weller commited on

Merge GitHub main into Hugging Face main
34dbe52

orionweller commited on