docs

Bump the dev-deps group in /ui with 3 updates (#820) #523

	name: docs
	on:
	push:
	branches:
	- main
	jobs:
	deploy:
	name: Build and Publish Docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: 3.x
	- name: Install mkdocs
	run: pip install mkdocs
	- name: Build and Deploy Docs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: cd docs && mkdocs gh-deploy --force --clean --verbose

Provide feedback