File tree 1 file changed +4
-2
lines changed
1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -148,7 +148,7 @@ jobs:
148
148
# Only bump if everything succeeds
149
149
merge-new-manifest :
150
150
runs-on : ubuntu-22.04
151
- if : needs.metadata.outputs.MERGE_BUMPED_MANIFEST == 'true' && needs.metadata.outputs.MANIFEST_BRANCH != github.sha
151
+ if : !cancelled() && needs.metadata.outputs.MERGE_BUMPED_MANIFEST == 'true' && needs.metadata.outputs.MANIFEST_BRANCH != github.sha
152
152
needs :
153
153
- metadata
154
154
- amd64
@@ -170,7 +170,9 @@ jobs:
170
170
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
171
171
172
172
- name : " Merging PR #${{ fromJson(steps.create_pr.outputs.data).number }}"
173
- id : merge_pr
173
+ if : |
174
+ !contains(needs.*.result, 'failure') &&
175
+ !contains(needs.*.result, 'cancelled')
174
176
175
177
with :
176
178
route : PUT /repos/{owner_and_repo}/pulls/${{ fromJson(steps.create_pr.outputs.data).number }}/merge
You can’t perform that action at this time.
0 commit comments