Skip to content

Setup mypy#65

Merged
chpolste merged 6 commits into
developfrom
typing/mypy
Jun 9, 2026
Merged

Setup mypy#65
chpolste merged 6 commits into
developfrom
typing/mypy

Conversation

@chpolste

@chpolste chpolste commented Jun 9, 2026

Copy link
Copy Markdown
Member

Description

Replacement for #45, which is now too out-of-sync with develop. Cherry-picked the configuration edits and reapplied changes to the current state of the codebase.

Contributor Declaration

By opening this pull request, I affirm the following:

  • All authors agree to the Contributor License Agreement.
  • The code follows the project's coding standards.
  • I have performed self-review and added comments where needed.
  • I have added or updated tests to verify that my changes are effective and functional.
  • I have run all existing tests and confirmed they pass.

@chpolste chpolste merged commit c1e1175 into develop Jun 9, 2026
9 checks passed
@chpolste chpolste deleted the typing/mypy branch June 9, 2026 08:00
@chpolste chpolste mentioned this pull request Jun 9, 2026
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