Skip to content

Chore: tighten up lint, remove unneeded dev dependencies#6

Merged
ssweber merged 3 commits into
mainfrom
dev
Apr 3, 2026
Merged

Chore: tighten up lint, remove unneeded dev dependencies#6
ssweber merged 3 commits into
mainfrom
dev

Conversation

@ssweber

@ssweber ssweber commented Apr 3, 2026

Copy link
Copy Markdown
Owner

No description provided.

ssweber and others added 3 commits April 1, 2026 12:09
Remove funlog/rich/codespell from lint pipeline, simplify lint.py to
plain subprocess calls with --check CI mode, and re-resolve lockfile.

Fix ty invalid-argument-type errors by using Sequence instead of list
and Mapping instead of dict in function signatures where callers pass
narrower subtypes.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Pin mkdocs to <2 to avoid future breaking changes from the v2 rewrite.
Suppress the DISABLE_MKDOCS_2_WARNING injected by plugin authors.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Aligns with pyrung's approach: resolve PROJECT_ROOT and pass
--project to ty so Windows path casing (e.g. "Documents" vs
"documents") doesn't cause inconsistent results between local
and CI.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@ssweber ssweber merged commit 7071f44 into main Apr 3, 2026
4 checks passed
@ssweber ssweber deleted the dev branch April 3, 2026 18:16
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