Add "create GitHub release" to Release workflow

This commit is contained in:
grimsi
2025-07-15 16:48:46 +02:00
parent a5aca5cb74
commit 4628e436aa
+21 -2
View File
@@ -78,5 +78,24 @@ jobs:
if: ${{ github.event.inputs.update_version }}
uses: stefanzweifel/git-auto-commit-action@v6
with:
commit_message: 'chore: release $RELEASE_VERSION'
tagging_message: 'v$RELEASE_VERSION'
commit_message: 'chore: release v${{ env.RELEASE_VERSION }}'
tagging_message: v${{ env.RELEASE_VERSION }}
- name: Detect prerelease
id: detect_prerelease
run: |
if [[ "$RELEASE_VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
echo "IS_PRERELEASE=false" >> $GITHUB_ENV
echo "MAKE_LATEST=true" >> $GITHUB_ENV
else
echo "IS_PRERELEASE=true" >> $GITHUB_ENV
echo "MAKE_LATEST=false" >> $GITHUB_ENV
fi
- name: Create GitHub release
if: ${{ github.event.inputs.update_version }}
uses: softprops/action-gh-release@v2
with:
tag_name: v${{ env.RELEASE_VERSION }}
prerelease: ${{ env.IS_PRERELEASE }}
make_latest: ${{ env.MAKE_LATEST }}