Doc Site #40

	name: Doc Site

	on:
	release:
	# Build docs when a new release is created, so the API docs don't get out of date.
	types: [ published ]
	push:
	branches:
	# A specific branch to only update docs without going through a release cycle
	- docs

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-java@v1
	with:
	java-version: 17
	- uses: actions/setup-python@v2
	with:
	python-version: 3.x
	- name: Install dependencies
	run: pip install mkdocs-material
	- name: Generate docs
	run: ./gen_docs.sh
	- run: mkdocs gh-deploy --force

Provide feedback