ci: tag PR head SHA instead of merge commit for hotfix support

This commit is contained in:
nrslib 2026-02-22 12:32:15 +09:00
parent 717afd232f
commit e57612d703

View File

@ -25,9 +25,9 @@ jobs:
VERSION=$(echo "${{ github.event.pull_request.title }}" | sed 's/^Release //') VERSION=$(echo "${{ github.event.pull_request.title }}" | sed 's/^Release //')
echo "tag=$VERSION" >> "$GITHUB_OUTPUT" echo "tag=$VERSION" >> "$GITHUB_OUTPUT"
- name: Create and push tag - name: Create and push tag on PR head commit
run: | run: |
git tag "${{ steps.version.outputs.tag }}" git tag "${{ steps.version.outputs.tag }}" "${{ github.event.pull_request.head.sha }}"
git push origin "${{ steps.version.outputs.tag }}" git push origin "${{ steps.version.outputs.tag }}"
publish: publish: