diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/generate_release.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.github/workflows/generate_release.yml b/.github/workflows/generate_release.yml index f741c83..8ea1f54 100644 --- a/.github/workflows/generate_release.yml +++ b/.github/workflows/generate_release.yml @@ -33,6 +33,16 @@ jobs: with: fetch-depth: 50 + - name: Align release tag with build commit + env: + RELEASE_TAG: ${{ inputs.release_tag }} + run: | + set -euo pipefail + + git tag --force "${RELEASE_TAG}" "${GITHUB_SHA}" + git push --force origin "refs/tags/${RELEASE_TAG}" + echo "Release tag ${RELEASE_TAG} now points to ${GITHUB_SHA}." + - name: Determine release channel id: target run: | |