Skip to content

Conversation

@lwjohnst86
Copy link
Member

Description

The MS version of the mypy extension was not as well reviewed. This one is better, plus, the setting used in settings.json was for this extension, not the other one.

No review needed.

@lwjohnst86 lwjohnst86 moved this from Todo to In Review in Iteration planning Jul 3, 2025
@lwjohnst86 lwjohnst86 moved this from In Review to In Progress in Iteration planning Jul 3, 2025
@lwjohnst86 lwjohnst86 merged commit 76240d5 into main Jul 3, 2025
6 checks passed
@lwjohnst86 lwjohnst86 deleted the chore/use-better-mypy-extension branch July 3, 2025 17:21
@github-project-automation github-project-automation bot moved this from In Progress to Done in Iteration planning Jul 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants