chore(): add dispatch workflow to action

AndreasAugustin · Dec 27, 2022 · 96d29fe · 96d29fe
1 parent faaa49a
commit 96d29fe
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/gh_pages_mk_docs.yml b/.github/workflows/gh_pages_mk_docs.yml
@@ -3,6 +3,8 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
+
 permissions:
   contents: write
 jobs: