Reactivate branch-based documentation deployment

fmbenhassine · fmbenhassine · commit 7f0bbe89c0d6 · 2025-10-24T08:50:00.000+02:00
This reverts commit 4a5068c.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -1,10 +1,10 @@
 name: Deploy Docs
 on:
-  #push:
-  #  branches-ignore: [ gh-pages ]
-  #  tags: '**'
-  #repository_dispatch:
-  #  types: request-build-reference # legacy
+  push:
+    branches-ignore: [ gh-pages ]
+    tags: '**'
+  repository_dispatch:
+    types: request-build-reference # legacy
   #schedule:
   #- cron: '0 10 * * *' # Once per day at 10am UTC
   workflow_dispatch:
