leaderboard / .github

Commit History

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

Tom Aarsen commited on

Create check_leaderboard_can_update.yaml
3afb68e
unverified

Orion Weller commited on

Update update_leaderboard.yml
5b46c84
unverified

Orion Weller commited on

Merge GitHub main into Hugging Face main
34dbe52

orionweller commited on

Create main.yml
16c6ae8
unverified

Orion Weller commited on