1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index abd2b73..a761291 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -277,4 +277,6 @@ jobs:
               owner: context.repo.owner,
               repo: context.repo.repo,
               body: body
-            });
-\ No newline at end of file
+            });
+        # Don't run this step if there is no PR number, i.e. on a direct push to main
+        if: ${{ env.PR_NUMBER != '' }}
+\ No newline at end of file