Skip to content

Add type checks to checks target and fix integration coverage glob - #207

Merged
timkpaine merged 1 commit into
mainfrom
tkp/checks-types-docs-omit
Oct 8, 2026
Merged

timkpaine merged 1 commit into
mainfrom
tkp/checks-types-docs-omit

Conversation

@timkpaine

Copy link
Copy Markdown
Member

Every variant's checks target now runs check-types alongside check-dist. The compiled modules (cython _native, cpp extension, cppjswasm extension_cpp) get one-line .pyi stubs so ty resolves them; without the stubs the cython render fails on ._native. Each variant was rendered from this branch and type-checked the way its Makefile does.

The coverage omit entry for integration tests is a glob, tests/integration/*; the bare directory path matched no file.

Replaces #206, which carried untracked symlinks from the local checkout. This branch touches the 19 template files only.

Every variant's checks target runs check-types, and the compiled modules get .pyi stubs so ty resolves them. The coverage omit for integration tests is a glob; a bare directory path matches no file.

Signed-off-by: Tim Paine <3105306+timkpaine@users.noreply.github.com>
@timkpaine
timkpaine merged commit 4372075 into main Oct 8, 2026
21 checks passed
@timkpaine
timkpaine deleted the tkp/checks-types-docs-omit branch October 8, 2026 22:10
@timkpaine timkpaine changed the title Run the type check in checks and omit integration tests by glob Add type checks to checks target and fix integration coverage glob Oct 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant