Skip to content

Replace mypy with ty - #178

Merged
jezdez merged 2 commits into
mainfrom
fix/migrate-to-ty
Sep 9, 2026
Merged

Replace mypy with ty#178
jezdez merged 2 commits into
mainfrom
fix/migrate-to-ty

Conversation

@jezdez

@jezdez jezdez commented Sep 4, 2026

Copy link
Copy Markdown
Member

Description

This replaces mypy with ty 0.0.78 for the project source and tests. A dedicated Pixi environment supplies Conda and pytest so ty resolves the same imports used at runtime. Its Conda 26.5 minimum is limited to the type-checking environment because that release corrected the subcommand and test fixture annotations.

Local pre-commit runs the Pixi task. pre-commit.ci skips that local hook because it does not provide Pixi, so the test workflow now has a separate Type check job. The pull request target restriction is also removed from that workflow so upper PRs in a GitHub stack receive checks before their parent merges.

Stacked on #181.

Checklist - did you ...

  • Add a file to the news directory (using the template) for the next release's release notes? Not needed for development tooling.
  • Add / update necessary tests?
  • Add / update outdated documentation?

@github-project-automation github-project-automation Bot moved this to 🆕 New in 🔎 Review Sep 4, 2026
@jezdez
jezdez force-pushed the fix/migrate-to-ty branch 5 times, most recently from 207add5 to 5f33c59 Compare September 4, 2026 19:37
@jezdez
jezdez force-pushed the fix/migrate-to-ty branch 2 times, most recently from d427703 to ff60056 Compare September 7, 2026 10:09
@jezdez
jezdez changed the base branch from fix/issue-150-snapshot-artifacts to fix/clarify-conda-terminology September 7, 2026 10:09
@jezdez
jezdez force-pushed the fix/migrate-to-ty branch 2 times, most recently from bc3d8df to d241a0a Compare September 7, 2026 10:28
@jezdez jezdez added this to the 0.3.0 milestone Sep 7, 2026
@jezdez jezdez mentioned this pull request Sep 7, 2026
14 tasks
@jezdez
jezdez marked this pull request as ready for review September 7, 2026 11:15
@jezdez
jezdez requested a review from a team as a code owner September 7, 2026 11:15
@github-project-automation github-project-automation Bot moved this from 🆕 New to ✅ Approved in 🔎 Review Sep 9, 2026
@danyeaw danyeaw moved this from Sorting ⚙️ to In review 🔍 in conda Roadmap and Sprint Planning Sep 9, 2026
Base automatically changed from fix/clarify-conda-terminology to main September 9, 2026 16:45
@jezdez
jezdez merged commit 2ce790b into main Sep 9, 2026
25 checks passed
@jezdez
jezdez deleted the fix/migrate-to-ty branch September 9, 2026 18:03
@github-project-automation github-project-automation Bot moved this from ✅ Approved to 🏁 Done in 🔎 Review Sep 9, 2026
@github-project-automation github-project-automation Bot moved this from In review 🔍 to Done 💪🏾 in conda Roadmap and Sprint Planning Sep 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done 💪🏾
Status: 🏁 Done

Development

Successfully merging this pull request may close these issues.

4 participants