fix: a small issue with pr_deploy.yaml (#8728)

2026-09-22 13:10:21 +08:00 · 2023-07-25 22:15:44 +00:00
parent 86d4c4ff0e
commit 733ae5038a
1 changed files with 1 additions and 1 deletions
@@ -37,7 +37,7 @@ jobs:
      - name: Get PR number, title, and branch name
        id: pr_number
        run: |
-          set -euxo pipefail
+          set -e pipefail
          if [[ ${{ github.event_name }} == 'workflow_dispatch' ]]; then
            PR_NUMBER=${{ github.event.inputs.pr_number }}"
          else