Release #180

	name: Release

	on: workflow_dispatch
	permissions:
	contents: write # to be able to publish a GitHub release
	issues: write # to be able to comment on released issues
	pull-requests: write # to be able to comment on released pull requests
	pages: write # to deploy to Pages
	id-token: write # to verify the deployment originates from an appropriate source

	jobs:
	release:
	name: Release
	runs-on: ubuntu-latest

	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	# get all tags for semantic release
	fetch-depth: 0
	- name: Setup Node.js
	uses: actions/setup-node@v4
	with:
	node-version: 18.17.1
	- name: Install dependencies
	run: npm ci
	- name: Build
	run: npm run build
	- name: Release
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
	run: npm run release
	- name: Install demo dependencies
	working-directory: ./demo
	run: npm ci
	- name: Build demo
	working-directory: ./demo
	run: npm run build:github
	- name: Setup Pages
	uses: actions/configure-pages@v4
	- name: Upload demo artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: ./demo/dist/
	retention-days: 7
	deploy:
	if: success() && github.ref == 'refs/heads/main'
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	needs: release
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback