Bump sphinx from 7.3.7 to 8.1.3 #1495

	# Based on
	# https://packaging.python.org/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/

	name: Publish Python distributions to PyPI

	on:
	release:
	types: [published]
	push:
	branches: [master]
	pull_request:

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	build:
	name: Build and publish Python distributions to PyPI
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.x"
	- name: Install pypa/build
	run: >-
	python -m pip install --upgrade build
	- name: Build a binary wheel and a source tarball
	run: >-
	python -m
	build
	--sdist
	--wheel
	--outdir dist/
	.
	- name: Store the distribution packages
	uses: actions/upload-artifact@v4
	with:
	name: python-package-distributions
	path: dist/

	publish:
	name: Publish distribution to PyPI
	if: github.event_name == 'release'
	needs:
	- build
	runs-on: ubuntu-latest
	environment:
	name: publish
	url: https://pypi.org/p/pyanalyze
	permissions:
	id-token: write
	steps:
	- name: Download all the dists
	uses: actions/download-artifact@v4
	with:
	name: python-package-distributions
	path: dist/
	- name: Publish distribution to PyPI
	uses: pypa/gh-action-pypi-publish@release/v1

Provide feedback