Skip to content

Commit

Permalink
Merge pull request rohitinu6#191 from MCAHITK-MINOR-PROJECT/patch-5
Browse files Browse the repository at this point in the history
Update update_leaderboard.yml
  • Loading branch information
jvedsaqib authored Oct 25, 2024
2 parents 0a7b733 + 27435f4 commit 7c936ee
Showing 1 changed file with 9 additions and 5 deletions.
14 changes: 9 additions & 5 deletions .github/workflows/update_leaderboard.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,30 +9,34 @@ jobs:
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 }} # GitHub token
GITHUB_REPOSITORY: ${{ github.repository }} # Repository info
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 "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 || echo "Nothing to push"
git push https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} || echo "Nothing to push"

0 comments on commit 7c936ee

Please sign in to comment.