fix pr reference

This commit is contained in:
tooomm 2026-06-12 23:16:11 +02:00 committed by GitHub
parent 7aaacbf347
commit 1b48df85c0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -53,8 +53,8 @@ jobs:
shell: bash shell: bash
run: | run: |
tag_regex='^refs/tags/' tag_regex='^refs/tags/'
if [[ $GITHUB_EVENT_NAME == pull-request ]]; then # pull request if [[ $GITHUB_EVENT_NAME == pull_request ]]; then # pull request
sha="${{github.event.pull_request.head.sha}}" sha="${{ github.event.pull_request.head.sha }}" # wrong ref? merge commit, not the same which is listed in cmake or in the installer/client logs?
elif [[ $GITHUB_REF =~ $tag_regex ]]; then # release elif [[ $GITHUB_REF =~ $tag_regex ]]; then # release
sha="$GITHUB_SHA" sha="$GITHUB_SHA"
tag="${GITHUB_REF/refs\/tags\//}" tag="${GITHUB_REF/refs\/tags\//}"