From 41ed5ddf577c68be01ac784ac92fb6aebca81844 Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Mon, 9 Oct 2023 15:00:56 +1100
Subject: [PATCH] chore: add missing if statements to pr-release.yml workflow
 (#2639)

---
 .github/workflows/pr-release.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
index f02274bbfb..54f912d9a1 100644
--- a/.github/workflows/pr-release.yml
+++ b/.github/workflows/pr-release.yml
@@ -81,6 +81,7 @@ jobs:
       # Mathlib CI will be responsible for reporting back success or failure
       # to the PR comments asynchronously.
       - name: Cleanup workspace
+        if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }}
         run: |
           sudo rm -rf *
 
@@ -94,6 +95,7 @@ jobs:
           fetch-depth: 0
 
       - name: Check if branch exists
+        if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }}
         id: check_branch
         run: |
           git config user.name "leanprover-community-mathlib4-bot"
@@ -119,5 +121,6 @@ jobs:
           fi
 
       - name: Push changes
+        if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }}
         run: |
           git push origin lean-pr-testing-${{ steps.workflow-info.outputs.pullRequestNumber }}