Bug 242140

Summary:	[ews-build.webkit.org] Handle push failure after PR update
Product:	WebKit	Reporter:	Jonathan Bedard <jbedard>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Local Build
Hardware:	Unspecified
OS:	Unspecified

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.