allow manually triggering the github build

GitTools · Feb 29, 2024 · 823eaef · 823eaef
1 parent c62209f
commit 823eaef
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
     - main
+  workflow_dispatch:
 
 defaults:
   run:
@@ -22,7 +23,7 @@ jobs:
       fail-fast: false
     steps:
     - uses: actions/checkout@v4
-      if: github.event_name == 'push'
+      if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
       with:
         token: ${{ secrets.PUSH_GITHUB_TOKEN }}
     - uses: actions/checkout@v4