WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
248661
[ews-build.webkit.org] Skip deleted PRs
https://bugs.webkit.org/show_bug.cgi?id=248661
Summary
[ews-build.webkit.org] Skip deleted PRs
Jonathan Bedard
Reported
2022-12-02 08:05:40 PST
If a PR is returning a 400 family code from GitHub, the PR has most likely been deleted. We shouldn't attempt to test such PRs.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-12-02 08:17:09 PST
<
rdar://problem/102906047
>
Jonathan Bedard
Comment 2
2022-12-02 08:18:32 PST
Pull request:
https://github.com/WebKit/WebKit/pull/7072
EWS
Comment 3
2022-12-02 12:22:21 PST
Committed
257304@main
(298c6a0c5b10): <
https://commits.webkit.org/257304@main
> Reviewed commits have been landed. Closing PR #7072 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