Merge branch 'main' into 1-proposal-support #776

	# A GitHub Actions workflow that generates the documentation for pull requests

	name: Documentation

	on:
	push:

	jobs:
	docs:
	runs-on: ubuntu-20.04

	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- uses: actions/setup-node@v3
	with:
	node-version: 18

	- name: Install dependencies
	run: npm ci

	- name: Build
	run: npm run build

	- name: Generate docs
	run: npm run docs

	- name: Commit docs
	uses: EndBug/add-and-commit@v9
	# We don't want to commit documentation changes to main
	if: ${{ github.ref != 'refs/heads/main' }}
	with:
	add: .
	default_author: github_actions
	message: "🤖 Documentation auto-update"

Provide feedback