testing docs build

firedrakeproject · Dec 4, 2024 · e9c1957 · e9c1957
1 parent 0c480dd
commit e9c1957
Showing 1 changed file with 14 additions and 13 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -2,9 +2,10 @@
 name: github pages
 
 on:
-  push:
-    branches:
-      - master
+  # push:
+  #   branches:
+  #     - master
+  pull_request:
 
 jobs:
   build_docs:
@@ -22,13 +23,13 @@ jobs:
       - name: Build docs
         run: |
           make -C docs html
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./docs/build/html
-          publish_branch: gh-pages
-          enable_jekyll: false
-          allow_empty_commit: false
-          user_name: 'github-actions[bot]'
-          user_email: 'github-actions[bot]@users.noreply.github.com'
+      # - name: Deploy
+      #   uses: peaceiris/actions-gh-pages@v3
+      #   with:
+      #     github_token: ${{ secrets.GITHUB_TOKEN }}
+      #     publish_dir: ./docs/build/html
+      #     publish_branch: gh-pages
+      #     enable_jekyll: false
+      #     allow_empty_commit: false
+      #     user_name: 'github-actions[bot]'
+      #     user_email: 'github-actions[bot]@users.noreply.github.com'