updating CI #1

	# Create a GitHub Release when a version tag (e.g. v2.8.0) is pushed.
	# The release body is extracted from the top section of NEWS.md.
	on:
	push:
	tags:
	- 'v*'

	name: Release

	permissions:
	contents: write

	jobs:
	release:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- name: Extract version from tag
	id: tag
	run: echo "version=${GITHUB_REF_NAME#v}" >> "$GITHUB_OUTPUT"

	- name: Extract release notes from NEWS.md
	id: notes
	run: \|
	# Grab everything between the first and second top-level headings
	awk '/^# /{if(n++) exit} n' NEWS.md > release_notes.md
	cat release_notes.md

	- name: Create GitHub Release
	uses: softprops/action-gh-release@v2
	with:
	name: "escape ${{ steps.tag.outputs.version }}"
	body_path: release_notes.md
	draft: false
	prerelease: false
	generate_release_notes: false

Provide feedback