Occasionally, GitHub will send duplicate hooks. ews-build.webkit.org, in particular, should handle such duplicates. Note that in practice, these duplicates are very close together in time, and in general, we want to process duplicate build requests if they are sufficiently far apart (like an engineer re-adding merge-queue an hour after automation remove the label, for example).
<rdar://problem/122589894>
Pull request: https://github.com/WebKit/WebKit/pull/24112
Committed 274369@main (a2343bf6a44c): <https://commits.webkit.org/274369@main> Reviewed commits have been landed. Closing PR #24112 and removing active labels.
Re-opening for pull request https://github.com/WebKit/WebKit/pull/24158
Committed 274377@main (9ca954b0571e): <https://commits.webkit.org/274377@main> Reviewed commits have been landed. Closing PR #24158 and removing active labels.