Skip to content

Conversation

@lagru
Copy link
Member

@lagru lagru commented May 24, 2025

Use basedpyright in addition to mypy to validate docstubs stubs on the test suite in tests/.

And fix reported errors in the process.

And fix reported errors in the process.
@lagru lagru added this to the v0.3 (MVP) milestone May 24, 2025
@lagru lagru added the devops Infrastructure, tooling, ... label May 24, 2025
@lagru lagru mentioned this pull request May 24, 2025
28 tasks
@lagru lagru merged commit d108e7d into main May 24, 2025
4 checks passed
@lagru lagru deleted the basedpyright-tests branch May 24, 2025 15:34
@lagru lagru mentioned this pull request May 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops Infrastructure, tooling, ...

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants