Skip to content

Release workflow: create the tag on dispatch when it doesn't exist #3

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ccharafeddine merged 1 commit into from
Sep 24, 2026
Merged

Release workflow: create the tag on dispatch when it doesn't exist #3

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 6 additions & 5 deletions .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,15 +6,16 @@ on:
workflow_dispatch:
inputs:
tag:
description: 'Existing tag to release and upload assets to (builds from the dispatched branch)'
description: 'Tag to release (created on the dispatched commit if missing); builds from the dispatched branch'
required: true

permissions:
contents: write

jobs:
# Creates the GitHub release for a pushed tag if it doesn't exist yet, so
# pushing a tag is all a release takes. Notes come from
# Creates the GitHub release if it doesn't exist yet, so pushing a tag (or
# dispatching this workflow with a new tag name, which then tags the
# dispatched commit) is all a release takes. Notes come from
# docs/release-notes/<tag>.md when present, else GitHub's generated notes.
release:
name: Create release
Expand All @@ -33,9 +34,9 @@ jobs:
fi
notes="docs/release-notes/$TAG.md"
if [ -f "$notes" ]; then
gh release create "$TAG" --verify-tag --title "$TAG" --notes-file "$notes"
gh release create "$TAG" --target "$GITHUB_SHA" --title "$TAG" --notes-file "$notes"
else
gh release create "$TAG" --verify-tag --title "$TAG" --generate-notes
gh release create "$TAG" --target "$GITHUB_SHA" --title "$TAG" --generate-notes
fi

windows:
Expand Down
Loading