Release 8.0.1 (#481) #37

	# This is a basic workflow to help you get started with Actions

	name: Create Github Release

	# Controls when the action will run. Triggers the workflow on push or pull request
	# events but only for the development branch
	on:
	push:
	# Sequence of patterns matched against refs/tags
	tags:
	- 'v' # Push events to matching v, i.e. v1.0, v20.15.10

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest
	permissions:
	contents: write

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	# Runs a single command using the runners shell
	- name: Create a Release
	uses: actions/[email protected]
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	with:
	# The name of the tag. This should come from the webhook payload, `github.GITHUB_REF` when a user pushes a new tag
	tag_name: ${{ github.ref }}
	# The name of the release. For example, `Release v1.0.1`
	release_name: Release ${{ github.ref }}

Provide feedback