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

chore: update mypy and move to toml #547

Merged
merged 2 commits into from May 12, 2022
Merged

chore: update mypy and move to toml #547

merged 2 commits into from May 12, 2022

Commits on May 12, 2022

  1. chore: update mypy and move to toml 

    This:

* Updates mypy to 0.950
* Uses pyproject.toml insted of mypy.ini - nicer config, fewer files
* Uses `strict = true` instead of the long list (supported last few versions)
* Uses more precise include ignoring, and includes a couple of typing requirements
    * Exposes a variable type change, fixed
* Adds a few extra (easy) strictness and config flags. Didn't add unreachable, since it was more involved.

Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com>
    @henryiii
    henryiii committed May 12, 2022
    Copy the full SHA
    b849c23 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into henryiii/chore/mypy

    @pradyunsg
    pradyunsg committed May 12, 2022
    Copy the full SHA
    cef4844 View commit details
    Browse the repository at this point in the history