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

Add mypy & type annotations. #37

Merged
merged 8 commits into from
Jul 14, 2024
Merged

Commits on Jul 1, 2024

  1. Add initial mypy setup

    This is fairly light on config and doesn't attempt to add any
    type checking just yet, but does get mypy running in CI and passing.
    PeterJCLaw committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    d5b530e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2378f82 View commit details
    Browse the repository at this point in the history
  3. Annotate the strategies

    PeterJCLaw committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    ee39b84 View commit details
    Browse the repository at this point in the history
  4. Slightly stricter mypy

    PeterJCLaw committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    81f8502 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    d52b33c View commit details
    Browse the repository at this point in the history
  6. Minimally annotate the tests

    This gets the tests passing type checking without requiring that
    they're fully annotated.
    PeterJCLaw committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    1e50331 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    22a7d7c View commit details
    Browse the repository at this point in the history
  8. Require complete annotations

    Grandfather in a couple of exceptions.
    PeterJCLaw committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    03164bd View commit details
    Browse the repository at this point in the history