docs.yml

name: Deploy Docs

on:
  push:
    branches:
      - master

jobs:
  build-deploy:
    permissions:
      contents: write
      pages: write
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          submodules: true
      - uses: oven-sh/setup-bun@v2
        with:
          bun-version: latest
      - name: Build
        run: |
          sudo apt install -y \
            doxygen \
            python3-pip \
            python3-setuptools
          python3 -m pip install mkdocs mkdocs-github-admonitions-plugin mkdocs-get-deps pymdown-extensions
          mkdir dist
          doxygen
          mkdocs build
          echo "<a href=\"./website\">Website</a> or <a href=\"./docs/html\">Doxygen</a>" > ./dist/index.html
          bun install -g gh-pages
      - name: Deploy
        run: |
          git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
          gh-pages -d dist -e . -u "github-actions-bot <support+actions@github.com>"
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}