Skip to content

typeshed: run stubtest in CI #3727

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

Merged
merged 5 commits into from
Feb 21, 2020
Merged

typeshed: run stubtest in CI #3727

merged 5 commits into from
Feb 21, 2020

Conversation

hauntsaninja
Copy link
Collaborator

@hauntsaninja hauntsaninja commented Feb 5, 2020

This is an implementation along the lines of what I proposed in #754. One difference from that is I moved errors that occur in all of py35-py38 into a shared whitelist. This felt like a good balance between reducing redundancy, preserving the ability to easily detect unused whitelist entries and implementation simplicity. Another difference is that I incorporated the discussion from #3693.

This is a draft until python/mypy#8325 gets merged (cc @JelleZijlstra ), at which point I can switch things to use mypy instead of my fork, as noted in the last commit.

Errors have come down substantially: overall by about half, py38-only by about 70%, as measured by the decrease since I first posted in #754.

Also happy to split out the README changes if that's better.

@hauntsaninja
Copy link
Collaborator Author

hauntsaninja commented Feb 5, 2020

As an example of what errors in Travis would look like, you can see https://travis-ci.org/hauntsaninja/typeshed/jobs/646198477
(the errors in CI currently are unused whitelist entry ones, from a race condition with myself)

This organises the section a little better. Previously some tests were
unmentioned; it read as if mypy_test and pytype_test were the only
tests. The section is now organised by test, making it easy to keep
track of the requirements and details of each. This also makes it
easier to add documentation for stubtest.

Also mention turning on Travis CI on your fork, since that is very
useful.
@hauntsaninja hauntsaninja marked this pull request as ready for review February 17, 2020 02:13
@JelleZijlstra JelleZijlstra merged commit 5324bd0 into python:master Feb 21, 2020
@JelleZijlstra
Copy link
Member

Thank you!

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

Successfully merging this pull request may close these issues.

2 participants