Add workflow dispatch to leaderboard update: allows for refresh via UI 71544e2 Tom Aarsen commited on Jul 29
Removed debug code in refresh.py intended to only update one board (#20) b8ed799 unverified KennethEnevoldsen commited on Jul 28
Merge pull request #18 from Samoed/fix_leaderboard 739bfda unverified Orion Weller commited on Jul 22