ci: update latest dev docs on push to main

.github/workflows/docs.yml

@@ -0,0 +1,30 @@
+name: Deploy docs
+on:
+  push:
+    branches:
+      - main
+jobs:
+  docs:
+    # Create latest docs
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write  # to push to the gh-pages branch
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0  # needed to get the gh-pages branch
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.8"
+      - name: Install dependencies and Studio
+        run: |
+          python -m pip install --upgrade pip
+          pip install wheel
+          pip install -r docs/requirements.txt -e .
+      - name: Setup doc deploy
+        run: |
+            git config user.name 'github-actions[bot]'
+            git config user.email 'github-actions[bot]@users.noreply.github.com'
+      - name: Deploy docs with mike 🚀
+        run: |
+          mike deploy --push --update-aliases dev latest