File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6161 ssh-key : ${{ secrets.RUNNER_SSH_KEY }}
6262 - name : Setup FlagGems
6363 shell : bash
64+ env :
65+ RUNNER_LABEL : ${{ inputs.runner_label }}
6466 run : |
6567 if [[ "${RUNNER_LABEL}" != "h20" ]]; then
6668 export HTTP_PROXY="http://10.1.12.38:38002"
8486 shell : bash
8587 env :
8688 CHANGED_FILES : ${{ inputs.changed_files }}
87- RUNNER_LABEL : ${{ inputs.runner_label }}
8889 run : |
8990 tools/test-op.sh ${{ inputs.pr_id }}
Original file line number Diff line number Diff line change 9999 source .venv/bin/activate
100100fi
101101
102- printf " HTTPS_PROXY=${https_proxy } \n"
103- printf " HTTP_PROXY=${http_proxy } \n"
102+ printf " HTTPS_PROXY=${HTTPS_PROXY } \n"
103+ printf " HTTP_PROXY=${HTTP_PROXY } \n"
104104
105105# Install FlagGems
106106export FLAGOS_PYPI=" https://resource.flagos.net/repository/flagos-pypi-${VENDOR} /simple"
You can’t perform that action at this time.
0 commit comments