Skip to content

Conversation

@JelleZijlstra
Copy link
Member

#4827 doesn't have all boxes checked yet, but I want to see what CI has to say about this.

@JelleZijlstra
Copy link
Member Author

CI says that mypy needs more work to support this.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau
Copy link
Collaborator

srittau commented Jun 14, 2021

This is looking promising.

@JelleZijlstra
Copy link
Member Author

Interesting, I thought the mypy errors were blocking errors (preventing it from analyzing the rest of the file), but I suppose not.

@JelleZijlstra JelleZijlstra marked this pull request as ready for review June 14, 2021 14:30
@srittau srittau merged commit 4581501 into python:master Jun 14, 2021
@JelleZijlstra JelleZijlstra deleted the contextman branch June 14, 2021 14:58
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.

2 participants