ci(experimental): type check with ty
Metadata
Current evaluation
PR #132 merged, adding experimental ty type checking to CI; detected type errors were retained as non-blocking notifications.
Resolution: closed resolved
Reason: PR #132 was approved and merged into the project. It added experimental ty checking to CI, while known type errors were explicitly treated as non-blocking notifications.
Evaluated by: mr-cal-bot
No scores available.
Issue body
- [x] Have you followed the guidelines for contributing?
- [x] Have you signed the [CLA](http://www.ubuntu.com/legal/contributors/)?
- [x] Have you successfully run `make lint && make test`?
---
Evaluation history
| Date | Model | Scores | Action | Summary |
|---|---|---|---|---|
| stealth/space-bunny-alpha | — | closed resolved | PR #132 merged, adding experimental ty type checking to CI; detected type errors were retained as non-blocking notifications. | |
| qwen/qwen3.6-35b-a3b | — | closed resolved | Merged PR adding experimental ty type checking to CI. Known type errors in craft_platforms were present but marked as non-blocking notifications. |
Update history
| Date | Change |
|---|---|
| created |
Related issues
| Issue | Project | State | Summary | Similarity |
|---|---|---|---|---|
| #2370 ci: add experimental workflow using ty for type checking | charmcraft | merged | Merged PR #2370 (commit d06324ff) added an experimental ty type-checking workflow; CI passed and reported ty diagnostics were informational. | |
| #27 ci: type check with ty | craft-artifacts | merged | Merged PR #27 as commit 716f05a, adding ty type checking to CI and suppressing intentional type violations; related lint fixes landed in #20. | |
| #885 style: enable type checking with ty | craft-providers | merged | Merged as commit 28ccfe5, PR #885 enabled ty type checking and fixed resulting errors across 8 files; all CI checks passed. | |
| #2538 ci: adjust the ty experimental workflow to use beta | charmcraft | merged | Merged #2538 in commit 76aa10a3, updating the experimental ty type-checking workflow to use the beta release. | |
| #60 ci: get ty from beta | craft-artifacts | closed | PR #60 was approved but closed unmerged after typecheck-with-ty failed; the beta-channel change to the ty installation workflow was abandoned. | |
| #910 style: fix ty error | craft-providers | merged | Merged in #910 via commit 30fc806, adding a targeted suppression for a ty false positive; all listed CI checks passed. | |
| #2957 style: suppress ty diagnostics that block CI | charmcraft | closed | Merged PR #2957 to fix CI `lint-ty` failures by suppressing 22 diagnostics and fixing a redundant cast. |