Skip to content

Conversation

@adamkopec
Copy link
Contributor

It completes the feature we just merged here: #3086

@adamkopec adamkopec requested a review from pivovarit as a code owner November 8, 2025 14:34
@pivovarit pivovarit merged commit 6cfdd63 into vavr-io:main Nov 8, 2025
8 checks passed
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