Skip to content

mypy update changed linting rules#288

Merged
karthiknadig merged 1 commit into
microsoft:mainfrom
karthiknadig:linting1
Nov 10, 2023
Merged

mypy update changed linting rules#288
karthiknadig merged 1 commit into
microsoft:mainfrom
karthiknadig:linting1

Conversation

@karthiknadig
Copy link
Copy Markdown
Member

No description provided.

@karthiknadig karthiknadig self-assigned this Nov 10, 2023
@karthiknadig karthiknadig added the bug Issue identified by VS Code Team member as probable bug label Nov 10, 2023
@karthiknadig karthiknadig enabled auto-merge (squash) November 10, 2023 21:47
@karthiknadig karthiknadig merged commit 02c5dad into microsoft:main Nov 10, 2023
@karthiknadig karthiknadig deleted the linting1 branch November 16, 2023 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Issue identified by VS Code Team member as probable bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants