ci: add experimental workflow using ty for type checking
Metadata
Current evaluation
Merged an experimental CI workflow adding ty type checking. All checks passed despite bot notifications of type errors, which were marked as informational. Approved by two reviewers and integrated into the repository.
Suggested action: —
No scores available.
Issue body
Since craft-platforms is passing with ty, let's give it something a bit harder to bang against.
Evaluation history
| Date | Model | Scores | Action | Summary |
|---|---|---|---|---|
| qwen/qwen3.6-35b-a3b | — | — | Merged an experimental CI workflow adding ty type checking. All checks passed despite bot notifications of type errors, which were marked as informational. Approved by two reviewers and integrated into the repository. | |
| qwen3.6-35b-a3b-mtp-q6 | — | — | Merged an experimental CI workflow for ty type checking. It flagged unresolved imports and attribute errors in charmcraft. The maintainer noted extensive pyright ignores, and the workflow was merged despite ongoing type failures. | |
| qwen3.6-35b-a3b-mtp-q6 | — | — | Merged an experimental CI workflow for ty type checking. The workflow flagged unresolved imports and attributes in charmcraft, but notifications were informational only. The change was accepted and merged without blocking on type errors. |
Update history
No update history recorded yet.
Related issues
| Issue | Project | State | Summary | Similarity |
|---|---|---|---|---|
| #2538 ci: adjust the ty experimental workflow to use beta | charmcraft | merged | Merged a one-line update to switch the experimental ty type-checking CI workflow to the beta version. Approved by two reviewers, passed CI checks, and successfully integrated. | |
| #27 ci: type check with ty | craft-artifacts | merged | Merged to integrate ty type checking into CI, silencing intentional violations. Reviewers advised delaying broader adoption until ty stabilizes. The change remains opt-in for dependent projects pending upstream fixes. | |
| #407 style(types): enable type checking with ty | craft-cli | merged | Merged pull request enabling type checking with ty. Approved by two reviewers with all CI checks passing. Changes add 21 lines and remove 3 across three files, successfully implementing the requested type checking improvements. | |
| #62 ci: use the latest edge ty in the experimental workflow | craft-artifacts | closed | Closed without merging. The PR updated the experimental CI workflow to use the latest edge ty version but failed the typecheck-with-ty check. Unresolved CI and comment functionality issues led to abandonment. | |
| #2726 style: switch type checking to ty | charmcraft | merged | Merged after switching type checking to the ty tool. Resolves existing ty issues, approved by two reviewers, passed CI checks, and modified 40 files. | |
| #6280 style: ty 0.0.44 | snapcraft | merged | Merged update to ty version 0.0.44. Approved by two reviewers and passed core CI checks. Unrelated lint failures and integration timeouts did not block the merge. | |
| #446 style(lint): fix typing for ty update | craft-cli | merged | Merged a maintainer pull request fixing typing for the ty linter update. Approved by one reviewer, the change adjusted three files with minor style modifications. CI checks passed and the branch was successfully integrated. | |
| #472 style: enable ty by default | starbase | merged | Merged to enable the ty type checker by default. Approved by two reviewers with all CI checks passing. The minimal configuration change lays groundwork for eventually replacing mypy and pyright once ty reaches stable release. | |
| #60 ci: get ty from beta | craft-artifacts | closed | Closed without merging after the typecheck-with-ty CI check failed. Although approved by a reviewer, the change to fetch ty from beta was abandoned. |