add workflow_dispatch option (#9)

schubergphilis · Mar 31, 2023 · 58707fb · 58707fb
1 parent 420e686
commit 58707fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/workflow-synchronization.yaml b/.github/workflows/workflow-synchronization.yaml
@@ -1,6 +1,7 @@
 name: workflow-synchronization
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main