Add manual dispatch to docs deployment

earth-mover · Oct 14, 2024 · d905536 · d905536
1 parent f340ca1
commit d905536
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -1,5 +1,6 @@
 name: deploy-docs 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main