From 855e9ba0d195406cf41c9c2dbf1d88d4a7413a77 Mon Sep 17 00:00:00 2001
From: AcipenserSturio <AcipenserSturio@users.noreply.github.com>
Date: Wed, 21 Aug 2024 15:38:00 +0500
Subject: [PATCH] ci: don't run deploy on pull request

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 58ffb69..d508fd1 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -25,6 +25,7 @@ jobs:
         run: echo "lipu-sona.pona.la" > public/CNAME
       - name: deploy
         uses: peaceiris/actions-gh-pages@v3
+        if: github.event_name != 'pull_request'
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: "${{ github.workspace }}/public"