v3.2.0 #5

	name: Deploy docs

	on:
	release:
	types: [published]

	jobs:
	deploy_docs:
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: git fetch origin gh-pages --depth=1
	- run: \|
	git config user.name github-actions
	git config user.email github-actions@github.com
	- uses: actions/setup-python@v5
	with:
	python-version: "3.11"
	cache: "pip"
	- run: pip install -r docs/requirements.txt

	# This deploys mkdocs-built html, now we use mike to deploy
	# html to have doc versioning.
	#
	# - run: mkdocs build -s
	# working-directory: ./docs
	# env:
	# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	# ENABLE_MKDOCS_GIT_COMMITTERS: True
	# - name: Deploy to GitHub Pages
	# uses: peaceiris/actions-gh-pages@v3
	# if: github.ref == 'refs/heads/develop'
	# with:
	# github_token: ${{ secrets.GITHUB_TOKEN }}
	# publish_dir: ./docs/site

	- name: mike deploy
	run: mike deploy --push --update-aliases ${{ github.ref_name }} latest
	working-directory: ./docs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	ENABLE_MKDOCS_GIT_COMMITTERS: True

Provide feedback