Skip to content

Pyright migration #54

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
dcousin24 merged 7 commits into from
Jul 7, 2025
Merged

Pyright migration #54

dcousin24 merged 7 commits into from
Jul 7, 2025

Conversation

@dcousin24
Copy link
Contributor

@dcousin24 dcousin24 commented Jun 25, 2025

Type of change

  • Fix
  • Story
  • Chore

Description of the change

  • Replaced mypy and mypy-extensions with pyright in pyproject.toml
  • Removed mypy config sections and added comprehensive [tool.pyright] configuration
  • Updated .pre-commit-config.yaml to use pyright-python hook instead of mirrors-mypy
  • Updated devcontainer to use Pylance (pyright) instead of mypy extension
  • Updated format.sh to run pyright instead of mypy
  • Updated .gitignore and .dockerignore to use .pyright_cache instead of .mypy_cache
  • Solved Type issues detected by pyright

@dcousin24 dcousin24 self-assigned this Jun 25, 2025
@dcousin24 dcousin24 merged commit aeeaf90 into main Jul 7, 2025
6 checks passed
@dcousin24 dcousin24 deleted the feature/migrate-to-pyright branch July 7, 2025 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@nicoache1 nicoache1 nicoache1 approved these changes

@pgrill pgrill Awaiting requested review from pgrill pgrill is a code owner

@m-revetria m-revetria Awaiting requested review from m-revetria m-revetria is a code owner

Assignees

@dcousin24 dcousin24

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@dcousin24 @nicoache1