From 5ae963520e5091d5b925c05487fd23e81976e36d Mon Sep 17 00:00:00 2001
From: Shawn Wang <shawn111@gmail.com>
Date: Mon, 25 Dec 2023 21:24:15 +0800
Subject: [PATCH] deploy page only on push

---
 .github/workflows/gh-pages.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 44d7fae..1e918ce 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -5,7 +5,7 @@ on:
     branches:
       - main
       - mdbook
-  pull_request:
+ pull_request:
 
 jobs:
   deploy:
@@ -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: