➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author vstinner
Recipients vstinner
Date 2020-06-16.15:02:28
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1592319748.83.0.749709237393.issue40993@roundup.psfhosted.org>
In-reply-to
Content 
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...
History
Date User Action Args
2020-06-16 15:02:28vstinnersetrecipients: + vstinner
2020-06-16 15:02:28vstinnersetmessageid: <1592319748.83.0.749709237393.issue40993@roundup.psfhosted.org>
2020-06-16 15:02:28vstinnerlinkissue40993 messages
2020-06-16 15:02:28vstinnercreate