File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -37,11 +37,11 @@ jobs:
37
37
- name : Get PR number, title, and branch name
38
38
id : pr_info
39
39
run : |
40
- set -exo pipefail
40
+ set -euxo pipefail
41
41
if [[ ${{ github.event_name }} == "workflow_dispatch" ]]; then
42
- PR_NUMBER=${{ github.event.inputs.pr_number }}"
42
+ PR_NUMBER=${{ github.event.inputs.pr_number }}
43
43
else
44
- PR_NUMBER=${{ github.event.issue.number }}"
44
+ PR_NUMBER=${{ github.event.issue.number }}
45
45
fi
46
46
PR_TITLE=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/coder/coder/pulls/$PR_NUMBER | jq -r '.title')
47
47
PR_BRANCH=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/coder/coder/pulls/$PR_NUMBER | jq -r '.head.ref')
You can’t perform that action at this time.
0 commit comments