minke.yu/sglang
1
0
Fork 0
Code Issues Pull Requests Actions 12 Packages Projects Releases Wiki Activity

[CI] Fix bot-cherry-pick: use state == "MERGED" instead of invalid merged field (#25987)

Browse Source
This commit is contained in:
Kangyan-Zhou
2026-05-21 20:10:12 +08:00
committed by GitHub
parent fbebdd5105
commit 32352f7edf
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/bot-cherry-pick.yml
+2 -3
View File
@@ -89,13 +89,12 @@ jobs:
PR_URL="" PR_URL=""
if [[ -n "$PR_NUMBER" ]]; then if [[ -n "$PR_NUMBER" ]]; then
if ! PR_JSON=$(gh pr view "$PR_NUMBER" --repo "$GITHUB_REPOSITORY" --json state,merged,mergeCommit,title,number,url); then if ! PR_JSON=$(gh pr view "$PR_NUMBER" --repo "$GITHUB_REPOSITORY" --json state,mergeCommit,title,number,url); then
echo "::error::Failed to fetch PR #$PR_NUMBER from $GITHUB_REPOSITORY (see gh output above)." echo "::error::Failed to fetch PR #$PR_NUMBER from $GITHUB_REPOSITORY (see gh output above)."
exit 1 exit 1
fi fi
MERGED=$(jq -r '.merged' <<<"$PR_JSON")
STATE=$(jq -r '.state' <<<"$PR_JSON") STATE=$(jq -r '.state' <<<"$PR_JSON")
if [[ "$MERGED" != "true" ]]; then if [[ "$STATE" != "MERGED" ]]; then
echo "::error::PR #$PR_NUMBER is not merged (state=$STATE). Only merged PRs can be cherry-picked." echo "::error::PR #$PR_NUMBER is not merged (state=$STATE). Only merged PRs can be cherry-picked."
exit 1 exit 1
fi fi