-
-
Notifications
You must be signed in to change notification settings - Fork 9.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Improve type checking documentation. #9129
Conversation
cb5a008
to
2cc38d6
Compare
651c0d3
to
3e217b8
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks @reitermarkus!
dbed410
to
5cb8385
Compare
Review period ended. |
This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. |
5cb8385
to
ee0f501
Compare
ee0f501
to
3e63aca
Compare
Merging this now. If there is anything still missing we can add it to #9099. |
Thanks @reitermarkus! |
brew style
with your changes locally?brew tests
with your changes locally?brew man
locally and committed any changes?Addresses part of #9099.