Skip to content

Conversation

@SvenKlaassen
Copy link
Member

See #35

Copy link
Member

@JanTeichertKluge JanTeichertKluge left a comment

Choose a reason for hiding this comment

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

Seems fine to me!

@SvenKlaassen SvenKlaassen merged commit 9eda55d into main Oct 16, 2025
12 checks passed
@SvenKlaassen SvenKlaassen added this to the Release 0.11.0 milestone Nov 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Check whether the indices in externally provided partitions for sample splitting need to be sorted

3 participants