Allow CI workflow to be manually dispatched (#3043)

kuzudb · Mar 13, 2024 · 0dbcef6 · 0dbcef6
1 parent d8487a0
commit 0dbcef6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci-workflow.yml b/.github/workflows/ci-workflow.yml
@@ -11,6 +11,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch:
 
 # Only allow one run in this group to run at a time, and cancel any runs in progress in this group.
 # We use the workflow name and then add the pull request number, or (if it's a push to master), we use the name of the branch.