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.
<rdar://problem/91452352>
Pull request: https://github.com/WebKit/WebKit/pull/265
Committed r292958 (249723@main): <https://commits.webkit.org/249723@main> Reviewed commits have been landed. Closing PR #265 and removing active labels.