deploy-version.yaml

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