Deploy docs #232

	# From https://github.com/mhausenblas/mkdocs-deploy-gh-pages
	name: Publish mkDocs via GitHub Pages
	# build the documentation whenever there are new commits on main
	on:
	push:
	branches:
	- master
	# Alternative: only build for tags.
	# tags:
	# - '*'

	# security: restrict permissions for CI jobs.
	permissions:
	contents: read

	jobs:
	build:
	name: Deploy MkDocs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@v2

	- name: Deploy docs
	uses: mhausenblas/mkdocs-deploy-gh-pages@master
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	CONFIG_FILE: mkdocs.yml
	REQUIREMENTS: requirements.txt
	# CUSTOM_DOMAIN: optionaldomain.com

Provide feedback