Add release-tag workflow #21

	name: Release Tag

	on:
	push:
	tags:
	- v*

	permissions:
	contents: write

	jobs:
	build:
	uses: ./.github/workflows/build.yml
	release-tag:
	name: Release Tag
	needs: build
	runs-on: ubuntu-22.04
	steps:
	- name: Download artifact
	uses: actions/download-artifact@v4
	with:
	name: model-checking
	path: model-checking-v${{ tag#v }}.jar
Check failure on line 23 in .github/workflows/release_tag.yml View workflow run for this annotation GitHub Actions / Release Tag Invalid workflow file `The workflow is not valid. .github/workflows/release_tag.yml (Line: 23, Col: 17): Unexpected symbol: 'tag#v'. Located at position 1 within expression: tag#v`
	- name: Create release
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	tag: ${{ github.ref_name }}
	run: \|
	gh release create "$tag" model-checking-v${tag#v}.jar \
	--repo="$GITHUB_REPOSITORY" \
	--title="v${tag#v}"

Provide feedback