Skip to content

chore: type-check techne, and raise the toolchain floors - #68

Merged
ajbarea merged 1 commit into
mainfrom
chore/add-ty
Sep 20, 2026
Merged

ajbarea merged 1 commit into
mainfrom
chore/add-ty

Conversation

@ajbarea

@ajbarea ajbarea commented Sep 20, 2026

Copy link
Copy Markdown
Owner

techne was the only sister running no type checker at all. make lint now runs ty over scripts/, plugins/ and tests/ — the same paths ruff already lints — so the plugin's shipped Python is checked the way every other sister's source is.

ty found exactly one thing: the pdf skill's import typst, which is deferred inside render() because the skill installs Typst at render time rather than declaring it as a dependency. That import carries a targeted # ty: ignore[unresolved-import] and a line saying why; nothing else is suppressed.

Floors raised to match what the lock already resolves and what the fleet pins: ruff 0.16.6 -> 0.16.8, pytest 8.4 -> 9.0.3.

Verification

  • make lint — ruff check, ruff format --check (29 files), and ty all pass.
  • make test with TECHNE_NO_TEX=1 — 123 passed, 6 skipped.
  • uv lock --check — consistent.

techne was the only sister without ty. `make lint` now runs it over
scripts/, plugins/ and tests/, which is the same set ruff already covers.

The one diagnostic it found is the pdf skill's `import typst`, deliberately
deferred to render time and installed by the skill rather than declared, so
it carries a targeted suppression.

ruff floor 0.16.6 -> 0.16.8 and pytest 8.4 -> 9.0.3, matching what the lock
already resolves and what the rest of the fleet pins.
@ajbarea ajbarea added the dependencies Pull requests that update a dependency label Sep 20, 2026
@ajbarea ajbarea self-assigned this Sep 20, 2026
@ajbarea ajbarea added the dependencies Pull requests that update a dependency label Sep 20, 2026
@ajbarea
ajbarea enabled auto-merge (squash) September 20, 2026 02:16
@ajbarea
ajbarea merged commit ec6b620 into main Sep 20, 2026
3 checks passed
@ajbarea
ajbarea deleted the chore/add-ty branch September 20, 2026 02:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant