Skip to content

Commit

Permalink
fix incorrect PR title handling
Browse files Browse the repository at this point in the history
This commit:
  - Changes the PR title in the PR verifier script to be a constant string
    in the BASH context.

Signed-off-by: Adam Rozman <[email protected]>
  • Loading branch information
Rozzii committed Dec 30, 2024
1 parent 0f34d62 commit 19a6ac3
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/pr-verifier.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,12 @@ jobs:

- name: Validate PR Title
run: |
WIP_REGEX="^\W?WIP\W"
TAG_REGEX="^\[[[:alnum:]\._-]*\]"
PR_TITLE="${{ github.event.pull_request.title }}"
WIP_REGEX='^\W?WIP\W'
TAG_REGEX='^\[[[:alnum:]\._-]*\]'
PR_TITLE='${{ github.event.pull_request.title }}'
# Trim WIP and tags from title
trimmed_title=$(echo "$PR_TITLE" | sed -E "s/$WIP_REGEX//" | sed -E "s/$TAG_REGEX//" | xargs)
trimmed_title=$(echo "${PR_TITLE}" | sed -E "s/$WIP_REGEX//" | sed -E "s/$TAG_REGEX//" | xargs)
# Normalize common emojis in text form to actual emojis
trimmed_title=$(echo "$trimmed_title" | sed -E "s/:warning:/⚠/g")
Expand Down

0 comments on commit 19a6ac3

Please sign in to comment.