diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml index 0a854f687b..43709d02cf 100644 --- a/.github/workflows/pr_build.yml +++ b/.github/workflows/pr_build.yml @@ -131,4 +131,4 @@ jobs: working-directory: ${{runner.workspace}}/build env: GITHUB_CONTEXT: ${{ toJson(github) }} - run: python "$GITHUB_WORKSPACE/tools/ci-scripts/upload_to_publish_server.py" + run: $PYTHON_EXEC "$GITHUB_WORKSPACE/tools/ci-scripts/upload_to_publish_server.py"