...

2025-11-05 15:09:04 -05:00
parent 856a0a597a
commit 60f836dd6f
1 changed files with 1 additions and 1 deletions
@@ -92,7 +92,7 @@ runs:
          -r ${{ github.repository }} \
          -f index,url \
          -o simple \
-          | grep ${{ steps.check-opened-pr-step.outputs.pr_number }}' | awk '{print $2}')
+          | egrep ${{ steps.check-opened-pr-step.outputs.pr_number }} | awk '{print $2}')

        echo "pr_url=$created_pr_url" >> $GITHUB_OUTPUT