Bug 242140 - [ews-build.webkit.org] Handle push failure after PR update
Summary: [ews-build.webkit.org] Handle push failure after PR update
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Local Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-06-29 15:07 PDT by Jonathan Bedard
Modified: 2022-06-30 07:04 PDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jonathan Bedard 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.
Comment 1 Jonathan Bedard 2022-06-29 15:10:09 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/1917
Comment 2 EWS 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.
Comment 3 Radar WebKit Bug Importer 2022-06-30 07:04:13 PDT 
<rdar://problem/96215952>