Skip to content
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

[Feature Request] Add mypy for pyi(stubs) synchronisation #226

Closed
sansyrox opened this issue Jul 8, 2022 · 4 comments
Closed

[Feature Request] Add mypy for pyi(stubs) synchronisation #226

sansyrox opened this issue Jul 8, 2022 · 4 comments
Labels
europython good first issue Good for newcomers

Comments

@sansyrox
Copy link
Member

sansyrox commented Jul 8, 2022

Current Behavior

I think the pyi files may start to diverge soon if nothing is implemented to keep them in place.

Desired Behavior

Use mypy with circleci.

Screenshots / Mockups

Alternatives
@sansyrox
Copy link
Member Author

https://mypy.readthedocs.io/en/stable/stubtest.html#stubtest

@sansyrox
Copy link
Member Author

Add this in github actions

@sansyrox
Copy link
Member Author

https://mypy.readthedocs.io/en/stable/stubgen.html#stubgen

@sansyrox sansyrox changed the title [Feature Request] Add mypy for pyi synchronisation [Feature Request] Add mypy for pyi(stubs) synchronisation Aug 11, 2022
@sansyrox
Copy link
Member Author

This issue is not needed anymore as we don't have separate pyi files

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
europython good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sansyrox