Add workflow_dispatch to CI so it can be triggered manually if needed

moonproject · Nov 12, 2023 · e90cf9c · e90cf9c
1 parent 4471725
commit e90cf9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
 
 jobs:
   build: