render.yml

name: Render results tables

# Regenerate the README summary + docs/ pages from data/ whenever the data (or the renderer)
# changes. Pure data transform — no solver, no GPU, stdlib Python only.
on:
  push:
    branches: [main]
    paths:
      - "data/**"
      - "render.py"
      - ".github/workflows/render.yml"
  workflow_dispatch:

permissions:
  contents: write

jobs:
  render:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-python@v5
        with:
          python-version: "3.x"
      - name: Render README summary + docs/ pages
        run: python3 render.py
      - name: Commit if generated files changed
        run: |
          git add README.md docs/
          if ! git diff --cached --quiet; then
            git config user.name "github-actions[bot]"
            git config user.email "github-actions[bot]@users.noreply.github.com"
            git commit -m "Auto-render results tables from data/"
            git push
          else
            echo "Generated tables already up to date."
          fi