From 34ca1d37bf9e0f6d1daecd63c0bf90a78a30ebdf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ruilong=20Li=28=E6=9D=8E=E7=91=9E=E9=BE=99=29?=
 <ruilongli94@gmail.com>
Date: Fri, 29 Sep 2023 12:06:21 -0700
Subject: [PATCH] don't deploy doc with pull request

---
 .github/workflows/doc.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index af384ce8f..315967649 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -2,8 +2,6 @@ name: Docs
 on:
   push:
     branches: [main]
-  pull_request:
-    branches: [main]
   workflow_dispatch:
 
 permissions:
@@ -32,4 +30,5 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: _build/
           force_orphan: true
-        #   cname: ...
\ No newline at end of file
+        if: github.event_name != 'pull_request'
+        #   cname: ...