Deployment workflow for 0.80 versioned branch

.github/workflows/deploy-version.yaml

@@ -0,0 +1,35 @@
+name: Version-dependent docs build & deploy
+
+on:
+  push:
+    branches:
+      - "0.80"
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out code
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.x
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+
+      - name: Generate project showcase pages from .yaml files
+        run: python build_tools/generate_showcase_pages.py
+
+      - name: Configure github
+        run: |
+          git config --global user.name Docs deploy
+          git config --global user.email docs@dummy.bot.com
+      - name: Publish docs website and API reference
+        run: |
+          mike deploy --push --update-aliases 0.80 dev