WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED CONFIGURATION CHANGED
241711
merge-queue label failed to launch the appropriate tasks on GitHub PR
https://bugs.webkit.org/show_bug.cgi?id=241711
Summary
merge-queue label failed to launch the appropriate tasks on GitHub PR
Antoine Quint
Reported
2022-06-17 05:07:01 PDT
I filed
https://github.com/WebKit/WebKit/pull/1584
and since it was already marked as "unreviewed" as it was just a WPT import, I immediately added the `merge-queue` label on the PR after its creation. Checking back on this PR many hours later, there was not bot running to land the patch. Aakash eventually removed and re-added the label which triggered the appropriate action.
Attachments
Add attachment
proposed patch, testcase, etc.
Jonathan Bedard
Comment 1
2022-06-17 09:44:23 PDT
Looking at the timings, you had the misfortune of trying to apply the `merge-queue` label yesterday when we ran out our API limit on the webkit-early-warning-system account. You also applied the label at around the same time I disabled hooks to dig into possible mitigation for our API limit,
https://bugs.webkit.org/show_bug.cgi?id=241698
was the solution I ended up deploying this morning.
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