Skip to content

basedpyright -> ty - #9027

Closed
myrrc wants to merge 1 commit into
developfrom
myrrc/ci-ty-not-pyright
Closed

basedpyright -> ty#9027
myrrc wants to merge 1 commit into
developfrom
myrrc/ci-ty-not-pyright

Conversation

@myrrc

@myrrc myrrc commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@myrrc myrrc added the do not merge Pull requests that are not intended to merge label Jul 28, 2026
@myrrc

myrrc commented Jul 31, 2026

Copy link
Copy Markdown
Contributor Author

My initial issue was that basedpyright brings a 200mb javascript dependency into uv workspace and I'd rather us not have javascript dependencies at all. However, ty doesn't have Any forbid checks, and that was the point of bringing in basedpyright. Let's leave the status quo as for now.

@myrrc myrrc closed this Jul 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do not merge Pull requests that are not intended to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant