v0.31.4 #49

	name: Release to PyPI

	on:
	release:
	types: [released]

	jobs:
	release:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6
	with:
	fetch-depth: 0
	- name: Install uv
	uses: astral-sh/setup-uv@v7
	- name: Set up Python 3.10
	uses: actions/setup-python@v6
	with:
	python-version: "3.10"
	- name: Install dependencies
	run: uv sync --frozen
	- name: Build artifacts
	run: uv build
	- name: Publish to PyPI
	run: uv publish --token ${{ secrets.PYPI_API_TOKEN }}
	release-docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6
	with:
	fetch-depth: 0
	token: ${{ secrets.GITHUB_TOKEN }}
	- name: Install uv
	uses: astral-sh/setup-uv@v7
	- name: Set up Python 3.12
	uses: actions/setup-python@v6
	with:
	python-version: "3.12"
	- name: Install dependencies
	run: uv sync
	- name: Get version from tag
	id: get_version
	run: echo "VERSION=${GITHUB_REF#refs/tags/}" >> $GITHUB_OUTPUT
	- name: Configure git for mike
	run: \|
	git config --global user.name github-actions
	git config --global user.email github-actions@github.com
	- name: Deploy docs with mike
	run: \|
	git fetch origin gh-pages --depth=1
	uv run mike delete --push latest \|\| true
	uv run mike deploy --push --update-aliases ${{ steps.get_version.outputs.VERSION }} latest
	uv run mike set-default --push latest
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback