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

Remove more type ignore comments #297

Merged
merged 7 commits into from
Mar 16, 2020
Merged

Commits on Mar 14, 2020

  1. Configuration menu
    Copy the full SHA
    5b6c6ad View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fbc710e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    47aef15 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    28b042e View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    5c2bbdc View commit details
    Browse the repository at this point in the history
  6. Improve code coverage

    Peilonrayz committed Mar 14, 2020
    Configuration menu
    Copy the full SHA
    58d6b1f View commit details
    Browse the repository at this point in the history
  7. Fix CI issues

    Peilonrayz committed Mar 14, 2020
    Configuration menu
    Copy the full SHA
    27bed40 View commit details
    Browse the repository at this point in the history