Skip to content

Test Python's stdlib regularily #5191

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.

Sign up for GitHub

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

Jump to bottom
Closed
srittau opened this issue Apr 8, 2021 · 4 comments
Closed

Test Python's stdlib regularily #5191

srittau opened this issue Apr 8, 2021 · 4 comments
Assignees
@srittau
Labels
project: infrastructure typeshed build, test, documentation, or distribution related

Comments

@srittau
Copy link
Collaborator

srittau commented Apr 8, 2021

We should test Python's standard library with the latest mypy/typeshed combination on a regular basis. Maybe once after each mypy release would be a good idea. This could be done with GitHub Actions and a cron trigger that checks for a new mypy release since the last run.
@srittau srittau added the project: infrastructure typeshed build, test, documentation, or distribution related label Apr 8, 2021
@srittau srittau self-assigned this Apr 8, 2021
@srittau
Copy link
Collaborator Author

srittau commented Apr 8, 2021

See #2149 for the last manual run.

@JelleZijlstra
Copy link
Member

Would this add much over mypy-primer, beyond giving us more code to check?

@srittau
Copy link
Collaborator Author

srittau commented Apr 8, 2021

I guess it's just more code to check, although it's code that's highly relevant to our stubs.

@JelleZijlstra
Copy link
Member

I think stubtest basically solves this. Actually typechecking the standard library would be much more difficult and probably better left to a type checker.

@JelleZijlstra JelleZijlstra closed this as not planned Won't fix, can't repro, duplicate, stale Apr 29, 2023
@AlexWaygood AlexWaygood mentioned this issue Jul 12, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@srittau srittau

Labels
project: infrastructure typeshed build, test, documentation, or distribution related
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@srittau @JelleZijlstra