Merge pull request #1645 from Plutonomicon/klntsky/patch-cip30 #387

	name: Build and Deploy docs to Github Pages
	on:
	push:
	branches:
	- develop
	permissions:
	contents: write
	jobs:
	build-and-deploy:
	concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Install and Build
	run: \|
	npm install -g spago
	npm install -g [email protected]
	rm -rf package.json # remove package.json so that we are no more in an ESM module. A hack to make 'spago docs' work
	spago docs
	- name: Deploy
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages
	folder: generated-docs/html

Provide feedback