Skip to content
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

Scan docstring examples with pyright #343

Merged
merged 4 commits into from
Nov 29, 2022
Merged

Scan docstring examples with pyright #343

merged 4 commits into from
Nov 29, 2022

Conversation

rsokl
Copy link
Contributor

@rsokl rsokl commented Nov 29, 2022

Our coverage job now runs this.

Also fixes docstring errors caught by pyright.

@rsokl rsokl added documentation Improvements or additions to documentation type-checking Involves hydra_zen.typing or pyright/mypy labels Nov 29, 2022
@rsokl rsokl merged commit 06ca7d8 into main Nov 29, 2022
@rsokl rsokl deleted the pyright-utils branch November 29, 2022 19:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation type-checking Involves hydra_zen.typing or pyright/mypy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant