Skip to content

Conversation

@mdepinet
Copy link
Contributor

This fixes large tool results sometimes failing to reach our server

@mdepinet mdepinet self-assigned this Dec 13, 2024
@mdepinet mdepinet requested a review from petersalas December 13, 2024 18:00
@mdepinet mdepinet merged commit 7b9cf37 into main Dec 13, 2024
1 check passed
@mdepinet mdepinet deleted the mike/cli-tool-ws branch December 13, 2024 19:34
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