WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
242897
[ews-build.webkit.org] Ignore PR updates by merge-queue
https://bugs.webkit.org/show_bug.cgi?id=242897
Summary
[ews-build.webkit.org] Ignore PR updates by merge-queue
Jonathan Bedard
Reported
2022-07-19 06:59:06 PDT
Merge-Queue update PRs right before landing them, those updates should not trigger EWS since the PR is going to be imminently closed.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-07-19 06:59:54 PDT
<
rdar://problem/97257669
>
Jonathan Bedard
Comment 2
2022-07-19 07:02:05 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/2542
EWS
Comment 3
2022-07-19 07:12:27 PDT
Committed
252598@main
(4116eddd879b): <
https://commits.webkit.org/252598@main
> Reviewed commits have been landed. Closing PR #2542 and removing active labels.
Jonathan Bedard
Comment 4
2022-07-19 09:21:00 PDT
Re-opening for pull request
https://github.com/WebKit/WebKit/pull/2549
EWS
Comment 5
2022-07-19 09:34:25 PDT
Committed
252605@main
(d4fc32a2fd29): <
https://commits.webkit.org/252605@main
> Reviewed commits have been landed. Closing PR #2549 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug