Skip to content

Exclude build/ from mypy; note CI Python - #141

Merged
szymoniwacz merged 1 commit into
mainfrom
fix/mypy-docs-setup-notes
Aug 10, 2026
Merged

szymoniwacz merged 1 commit into
mainfrom
fix/mypy-docs-setup-notes

Conversation

@szymoniwacz

Copy link
Copy Markdown
Owner

Summary

  • mypy excludes build/ to avoid duplicate-module errors after python -m build
  • Maintainer setup notes: CI uses Python 3.11; run ./scripts/setup-ai-workflow.sh before workflow validate

Test plan

  • mypy . succeeds
  • After python -m build, mypy . still succeeds without duplicate diffrat module error

@szymoniwacz
szymoniwacz force-pushed the fix/mypy-docs-setup-notes branch from e748413 to 6f9a927 Compare August 10, 2026 08:37
@szymoniwacz
szymoniwacz merged commit 8dce71b into main Aug 10, 2026
1 check passed
@szymoniwacz
szymoniwacz deleted the fix/mypy-docs-setup-notes branch August 10, 2026 08:43
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