Update workflow

2026-05-03 16:10:40 +00:00 · 2026-03-10 15:44:18 +01:00
parent cac6b4ec59
commit a11f282a43
1 changed files with 2 additions and 1 deletions
@@ -57,7 +57,8 @@ jobs:
      - name: Parse PR number from merge commit
        id: pr
        run: |
-          if [[ "$COMMIT_MSG" =~ #([0-9]+) ]]; then
+          re='#([0-9]+)'
+          if [[ "$COMMIT_MSG" =~ $re ]]; then
            echo "number=${BASH_REMATCH[1]}" >> "$GITHUB_OUTPUT"
          else
            echo "number=" >> "$GITHUB_OUTPUT"