On 10/4/2020 2:32 PM, Mariatta wrote:
This is a known issue and I have brought it up in GitHub OS Maintainers Feedback Group. It happens to other projects as well.
Currently we have branch protection rule where even administrators couldnt merge the PR unless all the required checks passed.
Perhaps we can relax the rule to allow administrators to merge the stuck PRs. At least temporarily until Travis/GitHub fixes it. Does this sound okay?
If we are told how to ping the admins, it would be better than being stuck.
On Sun, Oct 4, 2020, 10:44 AM Stefan Behnel <stefan_ml@behnel.de <mailto:stefan_ml@behnel.de>> wrote:
Hi devs,
I have a trivial documentation PR
https://github.com/python/cpython/pull/22464
for which travis (unsurprisingly) had a successful run,
https://travis-ci.com/github/python/cpython/builds/187435578
Since the details were still available, I verified 'success'. This is much better that previous stuck situations in which the details line disappeared.
but github lists the travis build as "created" instead of "passed".
https://github.com/python/cpython/pull/22464/checks?check_run_id=1188595760
I already tried closing the PR and reopening it, and also triggering the build again on travis side, but github still fails to pick up the build status.
I tried creating a new PR, but it seems that github (or travis) deduplicate the build requests and still refer to the original build, so that there is still no response from travis.
I also cannot find a way to terminate the checks process in github, or otherwise make it stop waiting for Godot.
Is this a known issue? Is there anything I can do about it?
-- Terry Jan Reedy