Bump @rushstack/eslint-patch from 1.7.2 to 1.8.0 in /ui (#583) #283

	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