Code

[red-knot] Rename *_ty functions#15617

Code

Merged

sharkdp merged 1 commit intomainastral-sh/ruff:mainfrom david/ty-renamingastral-sh/ruff:david/ty-renamingCopy head branch name to clipboardJan 22, 2025

+335-329

Commits

Commits on Jan 22, 2025

• [red-knot] Rename bindings_ty, declarations_ty

  sharkdp

  committed
  9230407

  Copy full SHA for 9230407