From f64b76460eb1a8627a43226dd9ab64ae901a4f9c Mon Sep 17 00:00:00 2001
From: Luqi Pan <luqi@agoric.com>
Date: Wed, 27 Mar 2024 13:41:38 -0700
Subject: [PATCH] ci: add a condition to check if event is pull request

---
 .github/workflows/build-deploy-doc.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-deploy-doc.yml b/.github/workflows/build-deploy-doc.yml
index 111677d15..64c52fc3e 100644
--- a/.github/workflows/build-deploy-doc.yml
+++ b/.github/workflows/build-deploy-doc.yml
@@ -56,6 +56,7 @@ jobs:
         command: pages deploy --project-name=documentation dist/
 
     - name: Comment with preview URL
+      if: github.event_name == 'pull_request'
       uses: actions/github-script@v7
       with:
         script: |