| 123456789101112131415161718192021222324252627282930313233343536373839404142 |
- name: Build and deploy Docs site to GitHub Pages
- on:
- workflow_dispatch:
- push:
- branches:
- - main
- permissions:
- contents: write
- jobs:
- github-pages:
- runs-on: ubuntu-latest
- steps:
- - name: Checkout Repo
- uses: actions/checkout@v6
- - name: Setup Python
- uses: actions/setup-python@v6
- with:
- python-version: '3.11'
- - name: Install uv
- uses: astral-sh/setup-uv@v8.0.0
- - name: Sync Docs Tooling
- run: uv sync --locked --group docs
- - name: Build
- run: uv run --group docs mkdocs build
- - name: Write CNAME
- if: ${{ vars.PAGES_CNAME != '' }}
- run: printf '%s\n' "${{ vars.PAGES_CNAME }}" > site/CNAME
- - name: Deploy to GitHub Pages
- uses: peaceiris/actions-gh-pages@v4
- with:
- github_token: ${{ secrets.GITHUB_TOKEN }}
- publish_dir: ./site
- publish_branch: 'gh-pages'
|