Skip to content

Conversation

@rajiknows
Copy link
Contributor

fixes #491

new stream api:
stream.cancel() cancels the ongoing stream.

@joshua-mo-143
Copy link
Contributor

Looks great! I will try and review this when I am able to do so if nobody else beats me to it.

@joshua-mo-143
Copy link
Contributor

Hey @rajiknows just letting you know there's a merge conflict that needs fixing before I can review your PR. This looks pretty good, I think it just needs some testing to check that everything works

@rajiknows
Copy link
Contributor Author

@joshua-mo-143 lets try to resolve the conflicts ..

@joshua-mo-143
Copy link
Contributor

@rajiknows Looks like this is failing due to some clippy/fmt errors. If you fix them I'll have a look and run the CI again.

Copy link
Contributor

@joshua-mo-143 joshua-mo-143 left a comment

Choose a reason for hiding this comment

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

lgtm - just need to fix lints/errors

@joshua-mo-143 joshua-mo-143 merged commit 87dd458 into 0xPlaygrounds:main Jul 1, 2025
5 checks passed
@github-actions github-actions bot mentioned this pull request Jul 1, 2025
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.

feat: Stream cancellation

2 participants