From 0b7c166cc6f26f31bae9177f7ac1627879b83cff Mon Sep 17 00:00:00 2001 From: "T.Tian" Date: Thu, 21 Nov 2024 02:07:26 +0800 Subject: [PATCH] update doc pages --- .github/workflows/publish_doc_pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/publish_doc_pages.yml b/.github/workflows/publish_doc_pages.yml index 31de8314..dba1217d 100644 --- 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