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

Release mypy extension #20908

Closed
karthiknadig opened this issue Mar 23, 2023 · 1 comment
Closed

Release mypy extension #20908

karthiknadig opened this issue Mar 23, 2023 · 1 comment
Assignees
@karthiknadig
Labels
area-linting feature-request Request for new features or functionality verified Verification succeeded
Milestone
April 2023

Comments

@karthiknadig
Copy link
Member

Decision pending on the currently available mypy extension.
@karthiknadig karthiknadig added feature-request Request for new features or functionality area-linting needs PR Ready to be worked on labels Mar 23, 2023
@karthiknadig karthiknadig self-assigned this Mar 23, 2023
@kieferrm kieferrm mentioned this issue Apr 2, 2023
Closed
41 tasks
@karthiknadig karthiknadig added this to the April 2023 milestone Apr 4, 2023
@karthiknadig
Copy link
Member Author

Done: https://marketplace.visualstudio.com/items?itemName=ms-python.mypy-type-checker

@karthiknadig karthiknadig added the verified Verification succeeded label Apr 13, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 14, 2023
@eleanorjboyd eleanorjboyd removed the needs PR Ready to be worked on label Dec 14, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@karthiknadig karthiknadig

Labels
area-linting feature-request Request for new features or functionality verified Verification succeeded
Projects
None yet
Milestone
April 2023
Development

No branches or pull requests
2 participants
@karthiknadig @eleanorjboyd