Skip to content

Update Leaderboard #191

Update Leaderboard

Update Leaderboard #191

name: Update Leaderboard
on:
schedule:
# Run every 12 am
- cron: '0 0 * * *'
workflow_dispatch:
permissions:
contents: write
issues: read
pull-requests: read
jobs:
update-leaderboard:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
token: ${{ secrets.GITHUB_TOKEN }}
- name: Setup Node.js
uses: actions/setup-node@v4
with:
node-version: '18'
- name: Generate leaderboard
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
REPO_OWNER: ${{ github.repository_owner }}
REPO_NAME: ${{ github.event.repository.name }}
run: |
node .github/scripts/generate-leaderboard.cjs
- name: Commit and push changes
run: |
git config --local user.email "action@github.com"
git config --local user.name "GitHub Action"
git add LEADERBOARD.md
if git diff --staged --quiet; then
echo "No changes to commit"
else
git commit -m "Auto-update LEADERBOARD.md [skip ci]"
git push
fi