Skip to content

fix(skills): satisfy ty check in analyze-transcript#1436

Open
ifireball wants to merge 1 commit into
fullsend-ai:mainfrom
ifireball:fix/analyze-transcript-ty-check
Open

fix(skills): satisfy ty check in analyze-transcript#1436
ifireball wants to merge 1 commit into
fullsend-ai:mainfrom
ifireball:fix/analyze-transcript-ty-check

Conversation

@ifireball
Copy link
Copy Markdown
Contributor

Summary

  • Add a ToolStats TypedDict and annotate tool_data in cmd_tools so ty can infer count and lines types (fixes four diagnostics that fail make test / pre-commit ty check on current main with recent ty releases).
  • Bump mise Go pin from 1.25.8 to 1.26.0 to match go.mod, avoiding compile: version "go1.26.0" does not match go tool version "go1.25.8" when GOTOOLCHAIN=auto is set in the Makefile.

No existing open PR addressed these failures.

Test plan

  • make test (after mise trust, mise install, and uv pip install --system jsonschema per CI)
  • CI lint.yml on this PR

Made with Cursor

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 25, 2026

Site preview

Preview: https://1831dfb4-site.fullsend-ai.workers.dev

Commit: b6c4da8a482137de58ac97414790992c1ee584f3

@fullsend-ai-review
Copy link
Copy Markdown

fullsend-ai-review Bot commented May 25, 2026

Review

Findings

No findings.

Previous run

Review

Findings

No findings.

@fullsend-ai-review fullsend-ai-review Bot added the ready-for-merge All reviewers approved — ready to merge label May 25, 2026
Add ToolStats TypedDict so ty can infer count/lines types, and pin mise Go
to 1.26.0 to match go.mod so local make test does not hit toolchain skew.

Co-authored-by: Cursor <[email protected]>
Signed-off-by: Barak Korren <[email protected]>
Co-authored-by: Cursor <[email protected]>
@fullsend-ai-review fullsend-ai-review Bot removed the ready-for-merge All reviewers approved — ready to merge label May 25, 2026
@ifireball ifireball self-assigned this May 25, 2026
@fullsend-ai-review fullsend-ai-review Bot added the ready-for-merge All reviewers approved — ready to merge label May 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-for-merge All reviewers approved — ready to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant