doc: Update public documentation on release or push on dedicated branch

nrybowski · Nov 26, 2024 · 2986982 · 2986982
1 parent 96e7d9e
commit 2986982
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -6,7 +6,9 @@ name: Documentation
 on:
   # Triggers the workflow on push or pull request events but only for the "main" branch
   push:
-    branches: [ "main" ]
+    branches: [ "doc" ]
+  release:
+    types: [ published ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: