STINNER Victor <vstin...@python.org> added the comment: Concrete issue: on my PR 20915, Travis CI mandatory jobs completed successfully but I wasn't able to merge the PR since GitHub says "travis-ci/pr Pending — The Travis CI build is in progress".
I cancelled the last running coverage job... but I was still unable to merge the PR, since Travis CI didn't report the status to GitHub. I had to reschedule all Travis CI jobs... ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue40993> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
