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.

Sign up for GitHub

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

Jump to bottom

Use strict mypy checking #3222

Merged
merged 11 commits into from Aug 31, 2022
Merged

Use strict mypy checking #3222

merged 11 commits into from Aug 31, 2022

Commits on Aug 14, 2022

  1. Use strict mypy checking

    @hauntsaninja
    hauntsaninja committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    8b80615 View commit details
    Browse the repository at this point in the history

  2. lint

    @hauntsaninja
    hauntsaninja committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    dbc4cba View commit details
    Browse the repository at this point in the history

  3. lint

    @hauntsaninja
    hauntsaninja committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    393a5af View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

  1. Merge remote-tracking branch 'origin/main' into mypy-strct

    @hauntsaninja
    hauntsaninja committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    bcc7ad2 View commit details
    Browse the repository at this point in the history

  2. refix after merge

    @hauntsaninja
    hauntsaninja committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    80de159 View commit details
    Browse the repository at this point in the history

  3. lint after merge

    @hauntsaninja
    hauntsaninja committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    7e456de View commit details
    Browse the repository at this point in the history

  4. ignore missing imports

    @hauntsaninja
    hauntsaninja committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    b714410 View commit details
    Browse the repository at this point in the history

  5. missed a spot

    @hauntsaninja
    hauntsaninja committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    7625eab View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

  1. Work around mypyc bug, sigh 

    Redeclaring an attribute in a subclass with a more narrow type seems to
make mypyc think the subclass has two attributes of the same name!
    @ichard26
    ichard26 committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    70c9d4e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into mypy-strct

    @ichard26
    ichard26 committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    05832e2 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2022

  1. ignore another import

    @hauntsaninja
    hauntsaninja committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    5f4c438 View commit details
    Browse the repository at this point in the history