Skip to content

Conversation

@cchris28
Copy link
Collaborator

another minor user experience improvement for when the user choses to have mypy
Avoids an error on the (not used by ci) command:

mypy tests

@cchris28 cchris28 requested a review from smcguire-cmu April 26, 2023 23:55
Copy link
Contributor

@smcguire-cmu smcguire-cmu left a comment

Choose a reason for hiding this comment

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

Thanks, this looks good!

@cchris28 cchris28 merged commit 4b9fd04 into main Apr 27, 2023
@cchris28 cchris28 deleted the cchris28/py.typed branch April 27, 2023 04:26
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