ci: checkout PR [skip ci]

This commit is contained in:
Baptiste Augrain
2023-12-17 18:13:34 +01:00
parent 0d7ded33f3
commit 0952b2f0dc
2 changed files with 12 additions and 21 deletions

View File

@@ -8,6 +8,11 @@ if [[ "${CI_BUILD}" != "no" ]]; then
git config --global --add safe.directory "/__w/$( echo "${GITHUB_REPOSITORY}" | awk '{print tolower($0)}' )"
fi
if [[ -n "${PULL_REQUEST_ID}" ]]; then
git fetch origin "pull/${PULL_REQUEST_ID}/head"
git checkout FETCH_HEAD
fi
if [[ -z "${RELEASE_VERSION}" ]]; then
if [[ "${VSCODE_LATEST}" == "yes" ]] || [[ ! -f "${VSCODE_QUALITY}.json" ]]; then
UPDATE_INFO=$( curl --silent --fail "https://update.code.visualstudio.com/api/update/darwin/${VSCODE_QUALITY}/0000000000000000000000000000000000000000" )