Action deploy_doc: enable manual trigger

ranaroussi · Nov 5, 2024 · 5d8b444 · 5d8b444
1 parent e27b90d
commit 5d8b444
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy_doc.yml b/.github/workflows/deploy_doc.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - dev-documented
+  workflow_dispatch:
 
 jobs:
   build:
@@ -39,4 +40,4 @@ jobs:
         publish_branch: documentation
         publish_dir: doc/_build/html
         destination_dir: docs
-        enable_jekyll: false
+        enable_jekyll: false