Add analytics to docs #127

	name: generate-docs
	on:
	workflow_dispatch: {} # allow manually triggering the workflow
	push:
	branches:
	- main
	paths:
	- "docs/**"
	- mkdocs.yml
	- "tools/**"

	permissions:
	contents: read

	jobs:
	deploy:
	permissions:
	contents: write # for mkdocs gh-deploy to publish docs
	runs-on: ubuntu-latest
	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@8ca2b8b2ece13480cda6dacd3511b49857a23c09
	with:
	egress-policy: block
	allowed-endpoints: >
	files.pythonhosted.org:443
	github.com:443
	pypi.org:443
	*.actions.githubusercontent.com:443

	- uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9
	- uses: actions/setup-python@61a6322f88396a6271a6ee3565807d608ecaddd1
	with:
	python-version: 3.x
	- run: pip install mkdocs-material mkdocs-awesome-pages-plugin
	- run: mkdocs gh-deploy --force

Provide feedback