Slight fix.

This commit is contained in:
2025-11-03 17:50:13 -05:00
parent 32d87fe55b
commit 8a3c1c2a3c
+1 -1
View File
@@ -107,7 +107,7 @@ runs:
--output simple \
| awk '{print $1}')
echo "PR Created 🎫 (PR #$created_pr_index)"
echo "PR Created 🎫 (PR \#$created_pr_index)"
echo "created_pr_index=$created_pr_index" >> $GITHUB_OUTPUT
- name: Set unified PR number output