Tom Aarsen commited on
Commit
71544e2
1 Parent(s): 75fc1bc

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

Browse files
.github/workflows/update_leaderboard.yml CHANGED
@@ -8,6 +8,7 @@ on:
8
  - cron: '30 2 * * *'
9
  push:
10
  branches: [ main ]
 
11
 
12
  jobs:
13
  build:
 
8
  - cron: '30 2 * * *'
9
  push:
10
  branches: [ main ]
11
+ workflow_dispatch: # Allows us to trigger the workflow manually via the GitHub UI
12
 
13
  jobs:
14
  build: