build(deps-dev): bump mypy from 1.4.1 to 1.5.1 (#865) #62

	name: Publish documentation

	on:
	push:
	branches:
	- master

	jobs:
	publish-documentation:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	token: '${{ secrets.PERSONAL_ACCESS_TOKEN }}'
	fetch-depth: 0
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.x'
	- name: Install dependencies
	run: \|
	python -m pip install -U mkdocs mkdocs-material
	- name: Build docs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	python -m mkdocs build
	- name: Push doc to Github Page
	uses: peaceiris/actions-gh-pages@v2
	env:
	PERSONAL_TOKEN: ${{ secrets.PERSONAL_ACCESS_TOKEN }}
	PUBLISH_BRANCH: gh-pages
	PUBLISH_DIR: ./site

Provide feedback