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

[red-knot] PEP 695 type aliases #14357

Merged
merged 17 commits into from
Nov 22, 2024
Merged

[red-knot] PEP 695 type aliases #14357

merged 17 commits into from
Nov 22, 2024

Commits on Nov 21, 2024

  1. Configuration menu
    Copy the full SHA
    600e160 View commit details
    Browse the repository at this point in the history
  2. Clarify type alias comment

    sharkdp committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    45405e8 View commit details
    Browse the repository at this point in the history
  3. Remove resolved TODO

    sharkdp committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    66772b0 View commit details
    Browse the repository at this point in the history
  4. Rename value => value_ty

    sharkdp committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    3777e57 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    a22b998 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    6c2e93f View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    30d7435 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    6a7b33e View commit details
    Browse the repository at this point in the history
  9. Fix new panic

    sharkdp committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    2a7070d View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    37c0828 View commit details
    Browse the repository at this point in the history
  11. Get rid of .expect(…)

    sharkdp committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    e02c9f0 View commit details
    Browse the repository at this point in the history
  12. Add more tests

    sharkdp committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    c08cb76 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    4440040 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    aec923f View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. Configuration menu
    Copy the full SHA
    ca06581 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    aa2c838 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6040ab0 View commit details
    Browse the repository at this point in the history