Skip to content

Better doc repr#80

Merged
ppinchuk merged 2 commits intomainfrom
pp/better_doc_repr
Feb 25, 2026
Merged

Better doc repr#80
ppinchuk merged 2 commits intomainfrom
pp/better_doc_repr

Conversation

@ppinchuk
Copy link
Collaborator

Long text could flood repr and str calls for docs. Add a quick fix for this by shortening any text that is too long when printing a repr

@ppinchuk ppinchuk self-assigned this Feb 25, 2026
@ppinchuk ppinchuk added the enhancement New feature or request label Feb 25, 2026
@ppinchuk ppinchuk merged commit bf29bef into main Feb 25, 2026
15 checks passed
@ppinchuk ppinchuk deleted the pp/better_doc_repr branch February 25, 2026 19:58
github-actions bot pushed a commit that referenced this pull request Feb 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant