Bug 269034
| Summary: | [ews-build.webkit.org] Handle duplicate GitHub hooks | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Jonathan Bedard <jbedard> |
| Component: | Tools / Tests | Assignee: | Jonathan Bedard <jbedard> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
Jonathan Bedard
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).
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Jonathan Bedard
<rdar://problem/122589894>
Jonathan Bedard
Pull request: https://github.com/WebKit/WebKit/pull/24112
EWS
Committed 274369@main (a2343bf6a44c): <https://commits.webkit.org/274369@main>
Reviewed commits have been landed. Closing PR #24112 and removing active labels.
Jonathan Bedard
Re-opening for pull request https://github.com/WebKit/WebKit/pull/24158
EWS
Committed 274377@main (9ca954b0571e): <https://commits.webkit.org/274377@main>
Reviewed commits have been landed. Closing PR #24158 and removing active labels.