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?


On Sun, Oct 4, 2020, 10:44 AM Stefan Behnel <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

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?

Thanks,
Stefan
_______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-leave@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/4TNKVOJ2LUJZZHHIBNORZ7GIVMYMNDER/
Code of Conduct: http://python.org/psf/codeofconduct/