add repository dispatch

jmoney · Aug 7, 2023 · e49150b · e49150b
1 parent d3fc50e
commit e49150b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,6 +5,8 @@ on:
       - main
 
   workflow_dispatch:
+  repository_dispatch:
+    types: [deploy]
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: write-all