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

Gradual typing #1217

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

Gradual typing #1217

wants to merge 6 commits into from

Commits on Oct 5, 2024

  1. chore: configure Mypy

    - skip some directories
    - skip 3rd party packages without typing or type stubs
    - allow untyped globals and class attributes
    - don't check untyped functions and methods
    akaihola committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    b08622b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9075c69 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    93face8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3f593e1 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    4541ea5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    6416497 View commit details
    Browse the repository at this point in the history