Skip to content

Commit

Permalink
minor
Browse files Browse the repository at this point in the history
  • Loading branch information
HarshTrivedi committed Nov 29, 2024
1 parent d6e8d2d commit 0c6ba4f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/leaderboard.yml
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ jobs:
run: pwd

- name: Add leaderboard entry
run: python scripts/add_to_leaderboard.py --pr-branch ${{ steps.get-branch.outputs.branch }} --experiment-prefixes ${{ env.experiment_prefixes }}
run: uv python scripts/add_to_leaderboard.py --pr-branch ${{ steps.get-branch.outputs.branch }} --experiment-prefixes ${{ env.experiment_prefixes }}

- name: Comment with leaderboard entry
if: ${{ success() }}
Expand Down Expand Up @@ -125,7 +125,7 @@ jobs:
echo "ids=$ids" >> $GITHUB_ENV
- name: Remove leaderboard entries
run: python scripts/remove_from_leaderboard.py --save-removed --ids ${{ env.ids }}
run: uv python scripts/remove_from_leaderboard.py --save-removed --ids ${{ env.ids }}

- name: Reformat leaderboard in the original format
run: |
Expand Down

0 comments on commit 0c6ba4f

Please sign in to comment.