WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
238973
[Merge-Queue] Handle label addition race condition
https://bugs.webkit.org/show_bug.cgi?id=238973
Summary
[Merge-Queue] Handle label addition race condition
Jonathan Bedard
Reported
2022-04-07 16:37:52 PDT
Occasionally, we see a merge-queue build like
https://ews-build.webkit-uat.org/#/builders/85/builds/188
, where GitHub's API does not report a label that was just added. This appears to be a race condition because re-running the build fixes the problem.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-04-07 16:38:13 PDT
<
rdar://problem/91452352
>
Jonathan Bedard
Comment 2
2022-04-07 16:40:03 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/265
EWS
Comment 3
2022-04-18 10:02:56 PDT
Committed
r292958
(
249723@main
): <
https://commits.webkit.org/249723@main
> Reviewed commits have been landed. Closing PR #265 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