Update the documentation page #32

	name: Push docs

	on:
	push:
	branches: [ main ]
	release:
	types: [created, edited]
	pull_request:
	branches: [ main ]

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Checkout Repo
	run: \|
	git config user.name github-actions
	git config user.email [email protected]
	git fetch origin gh-pages --depth=1

	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.11"

	- name: Install Dependencies
	run: pip install ".[docs]"

	- name: Deploy Docs
	run: mike deploy ${{ github.ref_name }}

	- name: Tag with latest
	if: github.event_name == "release" && github.event.action == "created"
Check failure on line 35 in .github/workflows/docs.yml View workflow run for this annotation GitHub Actions / Push docs Invalid workflow file `The workflow is not valid. .github/workflows/docs.yml (Line: 35, Col: 13): Unexpected symbol: '"release"'. Located at position 22 within expression: github.event_name == "release" && github.event.action == "created" .github/workflows/docs.yml (Line: 39, Col: 13): Unexpected symbol: '"pull_request"'. Located at position 22 within expression: github.event_name != "pull_request"`
	run: mike alias -u ${{ github.ref_name }} latest

	- name: Push deployment
	if: github.event_name != "pull_request"
	run: git push origin gh-pages

Provide feedback