ci: build documentation on release

.github/workflows/release.yml

@@ -35,3 +35,28 @@ jobs:
 
       - name: Publish package distributions to PyPI
         uses: pypa/gh-action-pypi-publish@release/v1
+
+  documentation:
+    name: Build documentation
+
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Install poetry
+        run: |
+          pip install poetry
+          poetry install --only docs
+
+      - name: Set up Git
+        run: |
+          git config user.name ${{ github.actor }}
+          git config user.email ${{ github.actor }}@users.noreply.github.com
+
+      - name: Build documentation
+        run: |
+          git fetch origin gh-pages
+          poetry run mike deploy --push --update-aliases $GITHUB_REF_NAME latest

mkdocs.yml

@@ -50,3 +50,7 @@ plugins:
 
 hooks:
   - docs/scripts/plugin.py
+
+extra:
+  version:
+    provider: mike