release #1

	# Right now this just publishes the docs, does nothing to PyPI
	name: release
	on:
	workflow_dispatch:
	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.10"
	cache: pip
	- run: python -m pip install ".[dev]"
	- name: "Deploy Docs"
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git config user.name doc-bot
	git config user.email [email protected]
	current_version=$(git tag \| sort --version-sort \| tail -n 1)

	# This block will rename previous retitled versions
	retitled_versions=$(mike list -j \| jq ".[] \| select(.title != .version) \| .version" \| tr -d '"')
	for version in $retitled_versions; do
	mike retitle "${version}" "${version}"
	done

	echo "Deploying docs for ${current_version}"
	mike deploy \
	--push \
	--title "${current_version} (latest)" \
	--update-aliases \
	"${current_version}" \
	"latest"

Provide feedback