update-leaderboard.yml

name: Update Leaderboard

on:
  schedule:
    - cron: '0 * * * *'  # every hour

  workflow_dispatch: {}

permissions:
  contents: write  # allow pushing changes back

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - name: Clean old leaderboard artifacts
        run: |
          rm -rf codabench_results || true
          mkdir -p codabench_results

      - name: Setup Python
        uses: actions/setup-python@v5
        with:
          python-version: '3.11'

      - name: Install dependencies
        run: |
          python -m pip install --upgrade pip
          pip install requests pandas plotly

      - name: Run leaderboard fetch
        env:
          CB_USERNAME: ${{ secrets.CB_USERNAME }}
          CB_PASSWORD: ${{ secrets.CB_PASSWORD }}
          CB_SECRET_KEY: ${{ secrets.CB_SECRET_KEY }}
          CB_BASE: ${{ secrets.CB_BASE }}
          CB_PK: ${{ secrets.CB_PK }}
          CB_OUT: codabench_results
        run: |
          python get_leaderboard.py

      - name: Build leaderboard HTML (new)
        run: |
          python build_leaderboard_html.py

      - name: Commit and push if changed
        run: |
          set -e
          if [ -n "$(git status --porcelain)" ]; then
            git config user.name "github-actions[bot]"
            git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
            git add -A codabench_results _includes/leaderboard_generated.html
            git commit -m "Update leaderboard: $(date -u +%FT%TZ)"
            git push
          else
            echo "No changes to commit."
          fi