Merge pull request #14 from wuyoscar/update/2026-03-26 #3
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Update Leaderboard Chart | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - 'assets/leaderboard_history.json' | |
| jobs: | |
| generate-chart: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: astral-sh/setup-uv@v4 | |
| - name: Generate chart | |
| run: uv run scripts/gen_leaderboard_chart.py | |
| - name: Commit and push if changed | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| git add assets/leaderboard_progress.svg | |
| if git diff --staged --quiet; then | |
| echo "No changes to chart" | |
| else | |
| git commit -m "chore: auto-update leaderboard chart" | |
| git push | |
| fi |