diff options
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
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 |