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

Further improve typing of builtins brain #2225

Merged

Commits on Jun 26, 2023

  1. Further improve typing of builtins brain

    Resolves 12 mypy errors
    jacobtylerwalls committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    9e946a6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8c9e5ef View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Add NoReturn

    Co-authored-by: Daniël van Noord <[email protected]>
    jacobtylerwalls and DanielNoord authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    f259ec2 View commit details
    Browse the repository at this point in the history
  2. fixup! Add NoReturn

    jacobtylerwalls committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    4be2cf2 View commit details
    Browse the repository at this point in the history
  3. Remove casting

    jacobtylerwalls committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    e223578 View commit details
    Browse the repository at this point in the history
  4. Add pragma

    jacobtylerwalls authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    f71836c View commit details
    Browse the repository at this point in the history
  5. Address review

    jacobtylerwalls committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    eb1baaf View commit details
    Browse the repository at this point in the history
  6. fixup! Address rev

    jacobtylerwalls committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    b733a2c View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    91b7406 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7c41d02 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    1f36c30 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    9cb1eea View commit details
    Browse the repository at this point in the history