Describe the bug
Recently typechecking with Astral's ty utility was added to our GitHub Actions workflows in #14129.
However, currently ty v0.0.8 is reporting a few errors that cause pull requests to be flagged as failed.
Note: one of the errors/reports from the tool is in fact a note that there is a likely typo/config error in its own ty.toml config file:
warning[unknown-rule]: Unknown rule `non-subscriptable`. Did you mean `not-subscriptable`?
--> ty.toml:25:1
|
23 | invalid-assignment = "ignore"
24 | invalid-method-override = "ignore"
25 | non-subscriptable = "ignore"
| ^^^^^^^^^^^^^^^^^
26 | possibly-missing-attribute = "ignore"
How to Reproduce
Recent pull requests and commits have encountered this problem, and until it is resolved, I expect new pull requests to too. For example:
Installing ty locally - for example, using pip install ty within a virtualenv - and then running ty check also replicates the problem.
Environment Information
Sphinx extensions
Additional context
No response
Edit: add ty version number, and local repro steps.
Describe the bug
Recently typechecking with Astral's
tyutility was added to our GitHub Actions workflows in #14129.However, currently
tyv0.0.8 is reporting a few errors that cause pull requests to be flagged as failed.Note: one of the errors/reports from the tool is in fact a note that there is a likely typo/config error in its own
ty.tomlconfig file:How to Reproduce
Recent pull requests and commits have encountered this problem, and until it is resolved, I expect new pull requests to too. For example:
Installing
tylocally - for example, usingpip install tywithin a virtualenv - and then runningty checkalso replicates the problem.Environment Information
Sphinx extensions
Additional context
No response
Edit: add
tyversion number, and local repro steps.