Skip to content

fixes ci issue, proper type safety#9

Merged
briheet merged 1 commit intomasterfrom
arpit/fixes
Mar 5, 2026
Merged

fixes ci issue, proper type safety#9
briheet merged 1 commit intomasterfrom
arpit/fixes

Conversation

@ArpBansal
Copy link
Contributor

  • Fixes CI Issue
  • Tested locally with
$ uv run mypy src/
Success: no issues found in 63 source files

@briheet briheet merged commit 5391486 into master Mar 5, 2026
1 check passed
@briheet briheet deleted the arpit/fixes branch March 5, 2026 09:48
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.

2 participants