Skip to content

Add doctests to CI - #80

Merged
teor2345 merged 7 commits into
mainfrom
doc-tests-ci
Sep 3, 2026
Merged

Add doctests to CI#80
teor2345 merged 7 commits into
mainfrom
doc-tests-ci

Conversation

@teor2345

@teor2345 teor2345 commented Sep 3, 2026

Copy link
Copy Markdown
Collaborator

This requires us to check for "lib" targets, as other target types don't support doctests.

@teor2345 teor2345 self-assigned this Sep 3, 2026
@teor2345 teor2345 added the bug Something isn't working label Sep 3, 2026
@teor2345
teor2345 merged commit d8ba8c6 into main Sep 3, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant