Skip to content

[WIP] chore: linting#279

Closed
philipp-seitz wants to merge 24 commits intomainfrom
chore/naming
Closed

[WIP] chore: linting#279
philipp-seitz wants to merge 24 commits intomainfrom
chore/naming

Conversation

@philipp-seitz
Copy link
Collaborator

Improves linting by adding docstrings and making variable names more explicit

@philipp-seitz philipp-seitz marked this pull request as draft January 14, 2026 16:55
@philipp-seitz
Copy link
Collaborator Author

close in favor of #349

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.

1 participant