File tree Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -102,16 +102,6 @@ jobs:
102102 env :
103103 GITHUB_TOKEN : ${{ secrets.PAT_SERVICE_ACCOUNT }}
104104 run : |
105- # Check if PR can be merged
106- MERGE_STATUS=$(gh pr view $PR_NUMBER --repo menloresearch/llama.cpp --json mergeStateStatus --jq '.mergeStateStatus')
107- echo "PR merge status: $MERGE_STATUS"
108-
109- if [[ "$MERGE_STATUS" != "CLEAN" ]]; then
110- echo "PR has conflicts and needs manual review. Stopping automatic merge."
111- echo "SKIP_MERGE=true" >> $GITHUB_ENV
112- exit 0
113- fi
114-
115105 # Wait for CI checks using the more reliable method
116106 echo "Waiting for CI checks to complete..."
117107 while true; do
@@ -132,6 +122,16 @@ jobs:
132122 fi
133123 fi
134124 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+
135135
136136 - name : Merge PR and create tag
137137 if : ${{ env.SKIP_PR != 'true' && env.SKIP_MERGE != 'true' }}
You can’t perform that action at this time.
0 commit comments