leaderboard_demo / .github
Tom Aarsen
Add workflow dispatch to leaderboard update: allows for refresh via UI
71544e2