Update docs action to Mike #30

	name: Push docs

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

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repo
	uses: actions/checkout@v4
	run: 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"
	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