RESOLVED FIXED242140
[ews-build.webkit.org] Handle push failure after PR update 
https://bugs.webkit.org/show_bug.cgi?id=242140
Summary [ews-build.webkit.org] Handle push failure after PR update
Jonathan Bedard
Reported 2022-06-29 15:07:48 PDT
If a PR fails to land after we've already updated it, any future Validation calls will fail when checking if the PR is obsolete. Retries after a failed push should therefore allow "obsolete" PRs.
Attachments
Add attachment proposed patch, testcase, etc.
Jonathan Bedard
Comment 1 2022-06-29 15:10:09 PDT
Pull request: https://github.com/WebKit/WebKit/pull/1917
EWS
Comment 2 2022-06-30 07:03:46 PDT
Committed 251992@main (b2256a4c784e): <https://commits.webkit.org/251992@main> Reviewed commits have been landed. Closing PR #1917 and removing active labels.
Radar WebKit Bug Importer
Comment 3 2022-06-30 07:04:13 PDT
<rdar://problem/96215952>
Note You need to log in before you can comment on or make changes to this bug.