Merge pull request #3 from Dingry/real_control #24

	name: Docs
	on:
	push:
	pull_request:

	jobs:
	deploy:
	runs-on: ubuntu-latest

	permissions:
	id-token: write
	contents: write

	steps:
	- name: Download source
	uses: actions/checkout@v4

	- name: Install Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'

	- name: Install dependencies
	run: pip install mkdocs mkdocs-material

	- name: Build site
	run: mkdocs build && ls ./site

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./site

Provide feedback