Release v0.14.4 #19

	name: release

	on:
	push:
	tags:
	- "v..*"

	jobs:
	release:
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: ./quint
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Install node
	uses: actions/setup-node@v3
	with:
	node-version: "17"
	registry-url: "https://registry.npmjs.org"
	- name: Compile
	run: npm ci
	- name: Test
	run: npm run test
	- name: Extract release notes
	# Get the release notes for the version by printing all lines between lines
	# starting with the version header and ending with the next version header,
	# inclusive. We then drop the last line to remove the subsequent version header.
	run: \|
	version=$(npm pkg get version \| sed 's/"//g')
	sed -n "/## v$version/,/## v/p" ../CHANGELOG.md \| head -n -1 > ${{ github.workspace }}/release-notes.txt
	- name: Release
	# See https://github.com/softprops/action-gh-release#-external-release-notes
	uses: softprops/action-gh-release@v1
	with:
	body_path: ${{ github.workspace }}/release-notes.txt
	- name: Publish
	# See https://docs.github.com/en/actions/publishing-packages/publishing-nodejs-packages#publishing-packages-to-the-npm-registry
	run: npm publish
	env:
	NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}

Provide feedback