use PYTHON_EXEC for upload script to select the correct version of python

This commit is contained in:
Thijs Wenker 2020-04-23 12:24:45 +02:00
parent 5375c341a6
commit 3105b7f7c6

View file

@ -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"