diff --git a/.github/workflows/leaderboard.yml b/.github/workflows/leaderboard.yml index 97b8dd4..c1dee49 100644 --- a/.github/workflows/leaderboard.yml +++ b/.github/workflows/leaderboard.yml @@ -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() }} @@ -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: |