Skip to content

chore: lengths()#2663

Merged
maelle merged 1 commit into
mainfrom
lengths
May 28, 2026
Merged

chore: lengths()#2663
maelle merged 1 commit into
mainfrom
lengths

Conversation

@maelle
Copy link
Copy Markdown
Contributor

@maelle maelle commented May 26, 2026

Part of #2652

@maelle maelle requested a review from schochastics May 26, 2026 09:51
Copy link
Copy Markdown
Contributor

@schochastics schochastics left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I did not know about lengths...

@maelle
Copy link
Copy Markdown
Contributor Author

maelle commented May 26, 2026

It's life-changing! 😸

@maelle maelle merged commit bb15872 into main May 28, 2026
6 checks passed
@maelle maelle deleted the lengths branch May 28, 2026 09:09
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