Add release milestone workflow

This commit adds a dedicated workflow to release a milestone, and
publish the changelog with a "pre-release" flag accordingly.

Closes gh-1025
This commit is contained in:
Stéphane Nicoll
2024-09-13 15:38:25 +02:00
committed by Brian Clozel
parent 6f422a9294
commit ff0528611e
2 changed files with 71 additions and 3 deletions

View File

@@ -2,11 +2,15 @@ name: Create GitHub Release
description: Create the release on GitHub with a changelog
inputs:
milestone:
description: 'Name of the GitHub milestone for which a release will be created'
description: Name of the GitHub milestone for which a release will be created
required: true
token:
description: 'Token to use for authentication with GitHub'
description: Token to use for authentication with GitHub
required: true
pre-release:
description: Whether the release is a pre-release (a milestone or release candidate)
required: false
default: 'false'
runs:
using: composite
steps:
@@ -20,4 +24,4 @@ runs:
env:
GITHUB_TOKEN: ${{ inputs.token }}
shell: bash
run: gh release create ${{ format('v{0}', inputs.milestone) }} --notes-file changelog.md
run: gh release create ${{ format('v{0}', inputs.milestone) }} --notes-file changelog.md ${{ inputs.pre-release == 'true' && '--prerelease' || '' }}