ci: Use sed to extract PR-number

CoreMedia · Dec 8, 2023 · 2f77cc5 · 2f77cc5
1 parent 846ae31
commit 2f77cc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/get-version.yml b/.github/workflows/get-version.yml
@@ -105,7 +105,7 @@ jobs:
           ref="${{ github.ref }}"
           run="${{ github.run_number }}"
           # Keep only the number.
-          pullRequestNumber="$(expr match "${ref}" '.*/\([0-9]*\)/.*')"
+          pullRequestNumber="$(echo "$ref" | sed "s#^.*/\([0-9]*\)/.*\$#\1#g")"
           version=$(pnpm --silent "script:version" --pull-request ${pullRequestNumber} --run-number ${run})
           echo "VERSION=${version}" >> $GITHUB_ENV
       - id: unmatched-release-type