release #37

	name: release

	on:
	workflow_dispatch:
	inputs:
	publish:
	description: 'If true, does not create the release as a draft.'
	required: false
	type: boolean
	default: false

	permissions: {}

	jobs:
	release:
	runs-on: [ ubuntu-latest ]

	concurrency:
	group: ${{ github.workflow }}
	cancel-in-progress: false

	permissions:
	contents: write
	issues: write

	steps:

	- name: Checkout code
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	filter: 'tree:0'
	persist-credentials: false
	show-progress: false

	- name: Get version
	id: get-version
	shell: pwsh
	run: \|
	$properties = Join-Path "." "Directory.Build.props"
	$xml = [xml](Get-Content $properties)
	$version = $xml.SelectSingleNode('Project/PropertyGroup/VersionPrefix').InnerText
	"version=${version}" >> ${env:GITHUB_OUTPUT}

	- name: Create release
	uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
	env:
	DEFAULT_BRANCH: ${{ github.event.repository.default_branch }}
	DRAFT: ${{ inputs.publish != true }}
	VERSION: ${{ steps.get-version.outputs.version }}
	with:
	script: \|
	const { repo, owner } = context.repo;
	const draft = process.env.DRAFT === 'true';
	const version = process.env.VERSION;
	const tag_name = `v${version}`;
	const target_commitish = process.env.DEFAULT_BRANCH;
	const name = tag_name;

	const { data: release } = await github.rest.repos.createRelease({
	owner,
	repo,
	tag_name,
	target_commitish,
	name,
	draft,
	generate_release_notes: true,
	});

	core.notice(`Created release ${release.name}: ${release.html_url}`);

Provide feedback