deploy page only on push

NCKU-CCS · Dec 25, 2023 · 996487e · 996487e
1 parent ec0e3d7
commit 996487e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -24,6 +24,7 @@ jobs:
       - run: mdbook build
 
       - name: Deploy
+        if: ${{ github.event_name == 'push' }}
         uses: peaceiris/actions-gh-pages@v3
         # if: ${{ github.ref == 'refs/heads/main' }}
         with: