docs: updates config file (#7188) #563

	name: Deploy the dev documentation
	on:
	push:
	paths:
	- 'docs/**'
	- mkdocs.yml
	branches:
	- main
	jobs:
	deploy:
	name: Deploy the dev documentation
	runs-on: ubuntu-22.04
	steps:
	- name: Checkout main
	uses: actions/[email protected]
	with:
	fetch-depth: 0
	persist-credentials: true
	- uses: actions/setup-python@v5
	with:
	python-version: 3.x
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip setuptools wheel
	pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git
	pip install -r docs/build/requirements.txt
	env:
	GH_TOKEN: ${{ secrets.MKDOCS_AQUA_BOT }}
	- name: Configure the git user
	run: \|
	git config user.name "knqyf263"
	git config user.email "[email protected]"
	- name: Deploy the dev documents
	run: mike deploy --push dev

Provide feedback