Skip to content

Conversation

@JukkaL
Copy link
Collaborator

@JukkaL JukkaL commented Jul 8, 2024

If type-checking typeshed without errors disabled, there were some errors in the release-1.11 branch. These errors can break some use cases. Ignore them for now with a quick patch. We'd probably want to ignore them in typeshed as well before the next release after 1.11.

@github-actions
Copy link
Contributor

github-actions bot commented Jul 8, 2024

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@JukkaL
Copy link
Collaborator Author

JukkaL commented Jul 8, 2024

The failed check looks like a flake.

@JukkaL JukkaL merged commit d8c67c3 into release-1.11 Jul 8, 2024
@JukkaL JukkaL deleted the fixes-1.11-typeshed branch July 8, 2024 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants