Misc #17

	name: "Deploy website"

	on:
	push:
	branches: [ new_website ]

	jobs:
	deploy_website:
	name: "Deploy website"
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.x
	cache: 'pip'

	- name: Install necessary tools
	run: pip install mkdocs mkdocs-markdownextradata-plugin mkdocs-material mkdocs-redirects

	- name: Deploy website
	run: mkdocs gh-deploy --force

Provide feedback