Skip to content

Comments

new: Add mypy type checker#470

Merged
joein merged 4 commits intomainfrom
add-type-checker
Feb 6, 2025
Merged

new: Add mypy type checker#470
joein merged 4 commits intomainfrom
add-type-checker

Conversation

@hh-space-invader
Copy link
Contributor

All Submissions:

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same update/change?

New Feature Submissions:

  • Does your submission pass the existing tests?
  • Have you added tests for your feature?
  • Have you installed pre-commit with pip3 install pre-commit and set up hooks with pre-commit install?

New models submission:

  • Have you added an explanation of why it's important to include this model?
  • Have you added tests for the new model? Were canonical values for tests computed via the original model?
  • Have you added the code snippet for how canonical values were computed?
  • Have you successfully ran tests with your changes locally?

@joein joein merged commit 105ff19 into main Feb 6, 2025
22 checks passed
@joein joein deleted the add-type-checker branch February 6, 2025 19:46
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