diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index 99273d5..fcd9934 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -31,7 +31,7 @@ jobs: python benchmark.py echo "_(benchmark **${{ github.run_id }}** / attempt **${{ github.run_attempt }}**)_" >> result.md cat benchmark.md >> result.md - shell: pixi run bash {0} + shell: pixi run -e py312 bash {0} - name: Comment on PR uses: actions/github-script@v7 if: github.event_name == 'pull_request'