build(deps): bump mypy from 1.12.1 to 1.13.0 #1693

	name: "Deploy Docs"
	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	jobs:
	# https://github.com/marketplace/actions/deploy-to-github-pages
	build-docs-deploy:
	runs-on: ubuntu-20.04
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v4
	with:
	persist-credentials: false
	- uses: actions/setup-python@v5
	with:
	python-version: 3.8

	- name: Cache pip
	uses: actions/cache@v4
	with:
	path: ~/.cache/pip
	key: pip-${{ hashFiles('requirements.txt') }}
	restore-keys: pip-

	- name: Install dependencies
	env:
	TORCH_URL: "https://download.pytorch.org/whl/cpu/torch_stable.html"
	run: \|
	pip --version
	pip install . -U -q -r requirements/_docs.txt -f ${TORCH_URL}
	# install Texlive, see https://linuxconfig.org/how-to-install-latex-on-ubuntu-20-04-focal-fossa-linux
	sudo apt-get update --fix-missing
	sudo apt-get install -y texlive-latex-extra dvipng texlive-pictures
	pip list

	- name: Make Documentation
	working-directory: ./docs
	run: make html --jobs 2

	- name: Deploy 🚀
	uses: JamesIves/[email protected]
	if: ${{ github.event_name == 'push' }}
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-pages # The branch the action should deploy to.
	folder: docs/build/html # The folder the action should deploy.
	clean: true # Automatically remove deleted files from the deploy branch
	target-folder: docs # If you'd like to push the contents of the deployment folder into a specific directory
	single-commit: true # you'd prefer to have a single commit on the deployment branch instead of full history

Provide feedback