Quote workflow conditional

This commit is contained in:
William Martin 2025-06-16 17:53:43 +02:00
parent 35e95a42c9
commit c7baa7a555

View file

@ -17,7 +17,7 @@ jobs:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR_AUTHOR: ${{ github.event.pull_request.user.login }}
PR_AUTHOR_TYPE: ${{ github.event.pull_request.user.type }}
if: !github.event.pull_request.draft
if: "!github.event.pull_request.draft"
run: |
# Skip if PR is from a bot or org member
if [ "$PR_AUTHOR_TYPE" = "Bot" ] || "gh api orgs/cli/public_members/${PR_AUTHOR}" --silent 2>/dev/null