chore: manual trigger

peterhirn · Sep 25, 2024 · 58703a9 · 58703a9
1 parent 4c9c491
commit 58703a9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -2,10 +2,11 @@ name: Benchmark
 
 on:
   push:
+  workflow_dispatch:
 
 jobs:
   bench:
-    if: ${{ startsWith(github.event.head_commit.message, 'release:') }}
+    if: ${{ github.event_name == 'workflow_dispatch' || startsWith(github.event.head_commit.message, 'release:') }}
     runs-on: ubuntu-latest
     steps:
       - name: Bench