diff --git a/.github/workflows/deploy-version.yaml b/.github/workflows/deploy-version.yaml new file mode 100644 index 0000000000..d20088c983 --- /dev/null +++ b/.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