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

[CI] bot-cherry-pick: surface created PR number/URL in job summary (#26001)

Browse Source 
Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
This commit is contained in:
Kangyan-Zhou
2026-05-21 22:58:21 +08:00
committed by GitHub
co-authored by Claude Opus 4.7
parent 32f996b75a
commit 049bb83134
1 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/bot-cherry-pick.yml
+12 -2
View File
@@ -207,6 +207,7 @@ jobs:
git push origin "$NEW_BRANCH" git push origin "$NEW_BRANCH"
- name: Create Pull Request - name: Create Pull Request
id: create_pr
if: steps.cherry_pick.outputs.cherry_pick_success == 'true' if: steps.cherry_pick.outputs.cherry_pick_success == 'true'
env: env:
GH_TOKEN: ${{ secrets.GH_PAT_FOR_CHERRY_PICK }} GH_TOKEN: ${{ secrets.GH_PAT_FOR_CHERRY_PICK }}
@@ -233,12 +234,16 @@ jobs:
BODY+="---"$'\n' BODY+="---"$'\n'
BODY+="*This PR was automatically created by the cherry-pick workflow.*" BODY+="*This PR was automatically created by the cherry-pick workflow.*"
printf '%s' "$BODY" | gh pr create \ CREATED_PR_URL=$(printf '%s' "$BODY" | gh pr create \
--title "$CHERRY_PICK_TITLE" \ --title "$CHERRY_PICK_TITLE" \
--base "$TARGET_BRANCH" \ --base "$TARGET_BRANCH" \
--head "$NEW_BRANCH" \ --head "$NEW_BRANCH" \
--label "cherry-pick" \ --label "cherry-pick" \
--body-file - --body-file -)
CREATED_PR_NUMBER="${CREATED_PR_URL##*/}"
echo "created_pr_url=$CREATED_PR_URL" >> $GITHUB_OUTPUT
echo "created_pr_number=$CREATED_PR_NUMBER" >> $GITHUB_OUTPUT
echo "Created cherry-pick PR #${CREATED_PR_NUMBER}: ${CREATED_PR_URL}"
- name: Summary - name: Summary
if: always() if: always()
@@ -249,6 +254,8 @@ jobs:
TARGET_BRANCH: ${{ github.event.inputs.target_branch }} TARGET_BRANCH: ${{ github.event.inputs.target_branch }}
CHERRY_PICK_SUCCESS: ${{ steps.cherry_pick.outputs.cherry_pick_success }} CHERRY_PICK_SUCCESS: ${{ steps.cherry_pick.outputs.cherry_pick_success }}
NEW_BRANCH: ${{ steps.cherry_pick.outputs.new_branch }} NEW_BRANCH: ${{ steps.cherry_pick.outputs.new_branch }}
CREATED_PR_NUMBER: ${{ steps.create_pr.outputs.created_pr_number }}
CREATED_PR_URL: ${{ steps.create_pr.outputs.created_pr_url }}
ACTOR: ${{ github.actor }} ACTOR: ${{ github.actor }}
run: | run: |
echo "## Cherry-Pick Summary" >> $GITHUB_STEP_SUMMARY echo "## Cherry-Pick Summary" >> $GITHUB_STEP_SUMMARY
@@ -263,6 +270,9 @@ jobs:
if [[ "$CHERRY_PICK_SUCCESS" == "true" ]]; then if [[ "$CHERRY_PICK_SUCCESS" == "true" ]]; then
echo "- **Status:** Success" >> $GITHUB_STEP_SUMMARY echo "- **Status:** Success" >> $GITHUB_STEP_SUMMARY
echo "- **PR Branch:** ${NEW_BRANCH}" >> $GITHUB_STEP_SUMMARY echo "- **PR Branch:** ${NEW_BRANCH}" >> $GITHUB_STEP_SUMMARY
if [[ -n "$CREATED_PR_NUMBER" ]]; then
echo "- **Cherry-pick PR:** [#${CREATED_PR_NUMBER}](${CREATED_PR_URL})" >> $GITHUB_STEP_SUMMARY
fi
else else
echo "- **Status:** Failed" >> $GITHUB_STEP_SUMMARY echo "- **Status:** Failed" >> $GITHUB_STEP_SUMMARY
fi fi