@@ -96,16 +96,23 @@ jobs:
9696
9797 echo "PR_NUMBER=$PR_NUMBER" >> $GITHUB_ENV
9898
99- - name : Check PR status and wait for CI
100- id : check_pr
99+ - name : Wait for CI checks
100+ id : wait_for_ci
101101 if : ${{ env.SKIP_PR != 'true' }}
102102 env :
103103 GITHUB_TOKEN : ${{ secrets.PAT_SERVICE_ACCOUNT }}
104104 run : |
105- # Wait for CI checks using the more reliable method
106105 echo "Waiting for CI checks to complete..."
107106 while true; do
108107 ci_completed=$(gh pr checks $PR_NUMBER --repo menloresearch/llama.cpp --json completedAt --jq '.[].completedAt')
108+
109+ # If there are no CI checks, proceed with merge
110+ if [[ -z "$ci_completed" ]]; then
111+ echo "No CI checks detected. Proceeding with merge."
112+ break
113+ fi
114+
115+ # Check if any checks are still running
109116 if echo "$ci_completed" | grep -q "0001-01-01T00:00:00Z"; then
110117 echo "CI is still running, waiting..."
111118 sleep 60
@@ -122,16 +129,6 @@ jobs:
122129 fi
123130 fi
124131 done
125- # Check if PR can be merged
126- MERGE_STATUS=$(gh pr view $PR_NUMBER --repo menloresearch/llama.cpp --json mergeStateStatus --jq '.mergeStateStatus')
127- echo "PR merge status: $MERGE_STATUS"
128-
129- if [[ "$MERGE_STATUS" != "CLEAN" ]]; then
130- echo "PR has conflicts and needs manual review. Stopping automatic merge."
131- echo "SKIP_MERGE=true" >> $GITHUB_ENV
132- exit 0
133- fi
134-
135132
136133 - name : Merge PR and create tag
137134 if : ${{ env.SKIP_PR != 'true' && env.SKIP_MERGE != 'true' }}
0 commit comments