Skip to content

bpo-40237: Fix the coverage gate in travis CI #19460

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 4 commits into from

Conversation

shihai1991
Copy link
Member

@shihai1991 shihai1991 commented Apr 10, 2020

@shihai1991 shihai1991 changed the title WIP: Fix the coverage gate in travis CI bpo-40237: Fix the coverage gate in travis CI Apr 10, 2020
@shihai1991 shihai1991 changed the title bpo-40237: Fix the coverage gate in travis CI [WIP] bpo-40237: Fix the coverage gate in travis CI Apr 11, 2020
@shihai1991 shihai1991 changed the title [WIP] bpo-40237: Fix the coverage gate in travis CI bpo-40237: Fix the coverage gate in travis CI Apr 12, 2020
@shihai1991
Copy link
Member Author

@vstinner Hi,victor. Do you have time to take a look?

@csabella csabella requested review from vstinner and benjaminp April 16, 2020 14:58
@ammaraskar
Copy link
Member

With #25679 turning down coverage builds, this is no longer necessary. Thank you for the pull request and fix Hai Shi!

@ammaraskar ammaraskar closed this Oct 6, 2021
@shihai1991
Copy link
Member Author

With #25679 turning down coverage builds, this is no longer necessary. Thank you for the pull request and fix Hai Shi!

Oh, Thanks, Ammar. I forget to close this PR in time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants