Adding PR URL as output.

This commit is contained in:
2025-11-05 14:59:36 -05:00
parent 0697866ca7
commit 6b075b98a2
+12
View File
@@ -82,11 +82,20 @@ runs:
echo "pr_number=$pr_number" >> $GITHUB_OUTPUT
- name: Skip PR Creation
id: skip-pr-creation
if: steps.check-opened-pr-step.outputs.pr_number != ''
shell: bash
run: |
echo -e "✅ A PR already exists for ${{ github.ref_name }} (PR #${{ steps.check-opened-pr-step.outputs.pr_number }})"
created_pr_url=$(tea pr ls --state open \
-r ${{ github.repository }} \
-f index,url \
-o simple \
| grep ${{ steps.check-opened-pr-step.outputs.pr_number }}' | awk '{print $2}')
echo "pr_url=$created_pr_url" >> $GITHUB_OUTPUT
- name: PR Creation
shell: bash
if: steps.check-opened-pr-step.outputs.pr_number == ''
@@ -126,9 +135,12 @@ runs:
env:
EXISTING_PR: ${{ steps.check-opened-pr-step.outputs.pr_number }}
CREATED_PR: ${{ steps.pr-creation.outputs.created_pr_index }}
EXISTING_URL: ${{ steps.skip-pr-creation.outputs.pr_url }}
CREATED_URL: ${{ steps.pr-creation.outputs.pr_url }}
run: |
if [ -n "$EXISTING_PR" ]; then
echo "pr_number=$EXISTING_PR" >> $GITHUB_OUTPUT
echo "pr_url=$"
else
echo "pr_number=$CREATED_PR" >> $GITHUB_OUTPUT
fi