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

embeddings-benchmark · Jul 29, 2024 · 71544e2 · 71544e2
1 parent 75fc1bc
commit 71544e2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/update_leaderboard.yml b/.github/workflows/update_leaderboard.yml
@@ -8,6 +8,7 @@ on:
     - cron: '30 2 * * *'
   push:
     branches: [ main ]
+  workflow_dispatch: # Allows us to trigger the workflow manually via the GitHub UI
 
 jobs:
   build: