docs: Fix docs CI workflow dispatch (#11)

arxlang · Apr 10, 2024 · b43bc97 · b43bc97
1 parent e058c29
commit b43bc97
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -2,6 +2,10 @@ name: Documentation
 
 on:
   workflow_dispatch:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
 
 env:
   GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
@@ -26,7 +30,7 @@ jobs:
           activate-environment: arx
           auto-update-conda: true
           conda-solver: libmamba
-          python-version: 3.8.1
+          python-version: "3.10"
 
       - name: Install deps
         run: |
@@ -37,6 +41,7 @@ jobs:
         run: makim --verbose docs.build
 
       - name: GitHub Pages action
+        if: ${{ github.event_name == 'workflow_dispatch' }}
         uses: peaceiris/actions-gh-pages@v3.5.9
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}