Use mike for doc versioning #8

	name: Documentation
	on:
	push:
	branches:
	- main
	permissions:
	contents: write
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Configure Git Credentials
	run: \|
	git config user.name github-actions[bot]
	git config user.email 41898282+github-actions[bot]@users.noreply.github.com
	- name: Install uv
	uses: astral-sh/setup-uv@v4
	with:
	enable-cache: true
	- name: Set up Python
	run: uv python install
	- name: Install the project
	run: \|
	uv sync --all-extras --dev
	uv pip install .
	- name: Get Version from pyproject.toml
	id: version
	run: \|
	source .venv/bin/activate
	echo "VERSION=$(python -c 'import importlib.metadata; print(importlib.metadata.version("brms"))')" >> $GITHUB_ENV
	- name: Deploy MkDocs with Mike
	run: \|
	source .venv/bin/activate
	mike deploy --push --branch gh-pages --update-aliases ${{ env.VERSION }} latest
	mike set-default --push --branch gh-pages latest

Provide feedback