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 Pyright in CI #242

Merged
merged 9 commits into from
Mar 20, 2022
Merged

Use Pyright in CI #242

merged 9 commits into from
Mar 20, 2022

Commits on Mar 10, 2022

  1. Trial pyright [wip]

    @jab
    jab committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    5d76ab7 View commit details
    Browse the repository at this point in the history

  2. add 'flagged by pyright' comments for code review

    @jab
    jab committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    7129938 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2022

  1. Take advantage of improvements in latest pyright

    @jab
    jab committed Mar 12, 2022
    Configuration menu
    Copy the full SHA
    fde6470 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2022

  1. Enable Pyright strict mode globally.

    @jab
    jab committed Mar 13, 2022
    Configuration menu
    Copy the full SHA
    2105419 View commit details
    Browse the repository at this point in the history

  2. Upgrade pre-commit hooks, particularly mypy

    @jab
    jab committed Mar 13, 2022
    Configuration menu
    Copy the full SHA
    649a4c2 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2022

  1. Upgrade to latest mypy in pre-commit hook

    @jab
    jab committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    452b027 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2022

  1. Improve some comments

    @jab
    jab committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    d9f9da1 View commit details
    Browse the repository at this point in the history

  2. Upgrade to latest Pyright

    @jab
    jab committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    5956a19 View commit details
    Browse the repository at this point in the history

  3. Improve some comments

    @jab
    jab committed Mar 20, 2022
    Configuration menu
    Copy the full SHA
    fb9d971 View commit details
    Browse the repository at this point in the history