(#235) New docs site based on mkdocs (#267) #20

	name: Deploy documentation site to Pages

	on:
	push:
	branches: [ main ]
	paths: [ 'docs/**', 'mkdocs.yml' ]
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	concurrency:
	group: "pages"
	cancel-in-progress: false

	defaults:
	run:
	shell: bash

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout Repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- uses: actions/setup-python@v5
	with:
	python-version: 3.x
	- run: pip install mkdocs
	- run: mkdocs gh-deploy --clean --force --verbose

Provide feedback