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

Exclude build/ from mypy; note CI Python#141
szymoniwacz merged 1 commit into
mainfrom
fix/mypy-docs-setup-notes

Exclude build/ from mypy; note CI Python

6f9a927
Select commit
Loading
Failed to load commit list.
Cursor / Cursor Automation: PE — PR merged diffrat succeeded Aug 10, 2026 in 1m 16s

Cursor Automation: PE — PR merged diffrat

Automation completed successfully

View agent

View more details on Cursor