website.yml

name: Website

on:
  push:
    branches:
      - 'main'

jobs:
  docs:
    name: 'build gh-pages'
    runs-on: ubuntu-latest
    steps:
      - name: Setup Python
        uses: actions/setup-python@v3
        with:
          python-version: '3.10'
      - name: Setup Environment
        shell: bash
        env:
          WORKSPACE: ${{ github.workspace }}
        run: |
          echo "$HOME/.local/bin:$PATH" >> $GITHUB_PATH
          echo "GITHUB_WORKSPACE=\"`pwd`\"" >> $GITHUB_ENV
      - name: Checkout Black Magic Debug Website Repo
        uses: actions/checkout@v3
        with:
          lfs: true
          submodules: true
      - name: Setup Sphinx
        shell: bash
        run: |
          sudo apt-get update
          sudo apt-get install graphviz
          sudo pip3 install -U pip setuptools wheel
          pip3 install --user -r requirements.txt
      - name: Build
        shell: bash
        run: sphinx-build -b html . build
      - name: Deploy
        if: success()
        uses: crazy-max/ghaction-github-pages@v3
        with:
          target_branch: gh-pages
          build_dir: build
          keep_history: true
          allow_empty_commit: false
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}