WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
239411
GitHub EWS is confused with prior PR's merge-blocked label
https://bugs.webkit.org/show_bug.cgi?id=239411
Summary
GitHub EWS is confused with prior PR's merge-blocked label
Yusuke Suzuki
Reported
2022-04-15 16:49:59 PDT
If we update PRs multiple times in a short period, 1. The former EWS run is still running while new PR is uploaded 2. The former EWS puts `merge-blocked` label if it failed, even though a new change is uploaded to this PR 3. If the former EWS puts `merge-blocked` accidentally, it prevents us from running EWS tests in a new PR So, EWS should put `merge-blocked` label only when PR's latest change matches to the patch of EWS.
Attachments
Add attachment
proposed patch, testcase, etc.
Aakash Jain
Comment 1
2022-04-18 09:28:08 PDT
Also, it might make sense to automatically remove 'merge-blocked' label while uploading new version of the PR, using 'git-webkit pr' command.
Michael Catanzaro
Comment 2
2022-04-19 07:56:21 PDT
(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.
Yusuke Suzuki
Comment 3
2022-04-21 10:46:12 PDT
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.
Jonathan Bedard
Comment 4
2022-04-21 12:04:11 PDT
(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.
Yusuke Suzuki
Comment 5
2022-04-21 15:54:59 PDT
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.
Radar WebKit Bug Importer
Comment 6
2022-04-22 16:50:14 PDT
<
rdar://problem/92196846
>
Jonathan Bedard
Comment 7
2022-04-25 11:42:08 PDT
***
Bug 239731
has been marked as a duplicate of this bug. ***
Jonathan Bedard
Comment 8
2022-04-25 13:27:37 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/380
EWS
Comment 9
2022-04-25 17:22:26 PDT
Committed
r293381
(
249971@main
): <
https://commits.webkit.org/249971@main
> Reviewed commits have been landed. Closing PR #380 and removing active labels.
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