Add support for explictly tagging a release on GitHub as the latest

Closes gh-50927
This commit is contained in:
Stéphane Nicoll
2026-07-23 19:07:33 +02:00
parent 8c23a6ad66
commit 8164b0a651
@@ -4,6 +4,10 @@ inputs:
commercial:
description: 'Whether to generate the changelog for the commercial release'
required: true
latest:
description: 'Whether the release is the latest release'
required: false
default: 'false'
milestone:
description: 'Name of the GitHub milestone for which a release will be created'
required: true
@@ -27,4 +31,4 @@ runs:
shell: bash
env:
GITHUB_TOKEN: ${{ inputs.token }}
run: gh release create ${{ format('v{0}', inputs.milestone) }} --notes-file changelog.md ${{ inputs.pre-release == 'true' && '--prerelease' || '' }}
run: gh release create ${{ format('v{0}', inputs.milestone) }} --notes-file changelog.md ${{ inputs.pre-release == 'true' && '--prerelease' || format('--latest={0}', inputs.latest) }}