Update Overview Section and Fix Image Visibility in Performance Metrics [Fixed #196] #20
Workflow file for this run
This file contains 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 | |
on: | |
pull_request: | |
types: [closed] | |
jobs: | |
update-leaderboard: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout repository | |
uses: actions/checkout@v3 | |
with: | |
token: ${{ secrets.GITHUB_TOKEN }} | |
- name: Set up Python | |
uses: actions/setup-python@v4 | |
with: | |
python-version: '3.x' | |
- name: Install dependencies | |
run: | | |
python -m pip install --upgrade pip | |
pip install requests PyGithub | |
- name: Run leaderboard update script | |
run: | | |
python .github/scripts/update_leaderboard.py | |
env: | |
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Pass GitHub token to script | |
GITHUB_REPOSITORY: ${{ github.repository }} # Pass repository information | |
- name: Commit and push changes | |
run: | | |
git config --global user.name "github-actions[bot]" | |
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
git add leaderboard.md || echo "No changes to commit" # Prevent errors if there's nothing to commit | |
git commit -m "Update leaderboard" || echo "No changes to commit" | |
git push https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} || echo "Nothing to push" |