| Summary: | GitHub EWS is confused with prior PR's merge-blocked label | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Yusuke Suzuki <ysuzuki> |
| Component: | Tools / Tests | Assignee: | Jonathan Bedard <jbedard> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | aakash_jain, cdumez, jbedard, mcatanzaro, webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Bug Depends on: | |||
| Bug Blocks: | 239082, 239613 | ||
|
Description
Yusuke Suzuki
2022-04-15 16:49:59 PDT
Also, it might make sense to automatically remove 'merge-blocked' label while uploading new version of the PR, using 'git-webkit pr' command. (In reply to Yusuke Suzuki from comment #0) > 1. The former EWS run is still running while new PR is uploaded :/ Ideally a force push would immediately cancel any previous EWS runs. Right now, it is hard to run EWS tests on GitHub because of this issue. Previous EWS runs slowly and puts merge-blocked label at random time, and which blocks newly scheduled EWS tests. (In reply to Aakash Jain from comment #1) > Also, it might make sense to automatically remove 'merge-blocked' label > while uploading new version of the PR, using 'git-webkit pr' command. We already do that. In https://bugs.webkit.org/show_bug.cgi?id=239613, it seems that we failed to run EWS on GitHub because of this and it was labeled with check-mark. *** Bug 239731 has been marked as a duplicate of this bug. *** Pull request: https://github.com/WebKit/WebKit/pull/380 Committed r293381 (249971@main): <https://commits.webkit.org/249971@main> Reviewed commits have been landed. Closing PR #380 and removing active labels. |