File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -124,27 +124,4 @@ jobs:
124124 env :
125125 GH_TOKEN : ${{steps.get_access_token.outputs.result}}
126126
127- - name : Find PR number to merge
128- id : identify_PR_number
129- run : |
130- BRANCH_NAME=${{steps.identify_branch_name.outputs.branchName}}
131- PR_NUMBER=$(gh pr list --head "$BRANCH_NAME" --json number --jq '. [0].number')
132- echo "PR number: $PR_NUMBER"
133- echo "PR_NUMBER=$PR_NUMBER" >> $GITHUB_OUTPUT
134- env :
135- GH_TOKEN : ${{steps.get_access_token.outputs.result}}
136-
137- - name : Verify PR is merged
138- run : |
139- pr_state=$(gh pr view ${{steps.identify_PR_number.outputs.PR_NUMBER}} --json state --jq '.state')
140-
141- echo "pr state: $pr_state"
142-
143- if [ $pr_state == "MERGED" ]; then
144- echo "PR ${{steps.identify_PR_number.outputs.PR_NUMBER}} has been merged"
145- else
146- echo "PR ${{steps.identify_PR_number.outputs.PR_NUMBER}} is not merged"
147- exit 1
148- fi
149- env :
150- GH_TOKEN : ${{steps.get_access_token.outputs.result}}
127+
You can’t perform that action at this time.
0 commit comments