update doc pages

SPARC-X · Nov 20, 2024 · 0b7c166 · 0b7c166
1 parent d124f89
commit 0b7c166
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish_doc_pages.yml b/.github/workflows/publish_doc_pages.yml
@@ -68,7 +68,7 @@ jobs:
         make clean && make html
     - name: Deploy to github pages
       uses: peaceiris/actions-gh-pages@v4
-      if: github.ref == 'refs/heads/master' && github.event_name == 'push'
+      if: github.ref == 'refs/heads/master' && (github.event_name != 'pull_request')
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_branch: gh_pages