Skip to content

Conversation

@hauntsaninja
Copy link
Collaborator

ref #11406 (comment)

Probably got missed when things were ported to Github Actions
cc @ilevkivskyi

Copy link
Member

@ilevkivskyi ilevkivskyi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@ilevkivskyi ilevkivskyi merged commit 3f43c83 into python:master Oct 29, 2021
@hauntsaninja hauntsaninja deleted the garel branch October 29, 2021 21:47
ilevkivskyi pushed a commit that referenced this pull request Nov 2, 2021
Co-authored-by: hauntsaninja <>
tushar-deepsource pushed a commit to DeepSourceCorp/mypy that referenced this pull request Jan 20, 2022
Co-authored-by: hauntsaninja <>
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