File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed
Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -19,19 +19,18 @@ if ! git rev-parse "${GITHUB_SHA}" >/dev/null 2>&1; then
1919 echo " SHA ${GITHUB_SHA} not found locally. Fetching from origin..."
2020 git fetch origin " ${GITHUB_SHA} " --tags --prune || echo " SHA not found in origin."
2121fi
22-
2322if ! git rev-parse " ${GITHUB_SHA} " > /dev/null 2>&1 ; then
2423 echo " SHA ${GITHUB_SHA} not found in origin. Fetching from fork..."
2524 git fetch fork " ${GITHUB_SHA} " --tags --prune || echo " SHA not found in fork."
2625fi
27-
2826# Final check: If SHA still doesn't exist, fail
2927if ! git rev-parse " ${GITHUB_SHA} " > /dev/null 2>&1 ; then
3028 echo " Error: SHA ${GITHUB_SHA} not found in either remote."
3129 exit 1
3230fi
31+ # Reset to the target SHA
32+ git reset --hard " ${GITHUB_SHA} "
3333
34- git checkout " ${GITHUB_SHA} "
3534make -C ports/" ${CPY_PLATFORM} " fetch-port-submodules
3635pip3 install --upgrade -r requirements-dev.txt
3736pip3 install --upgrade -r requirements-doc.txt
You can’t perform that action at this time.
0 commit comments