Skip to content

Conversation

@zhjwpku
Copy link
Collaborator

@zhjwpku zhjwpku commented Oct 30, 2025

This PR also makes the ToString consistent with Java implementation.

@zhjwpku zhjwpku force-pushed the satisfies_sort_orders branch from 2183c40 to 7e73e8b Compare November 4, 2025 13:31
@wgtmac wgtmac merged commit 1c431b6 into apache:main Nov 5, 2025
10 checks passed
@zhjwpku zhjwpku deleted the satisfies_sort_orders branch November 5, 2025 13:58
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.

3 participants