Skip to content

Conversation

@lukka
Copy link
Member

@lukka lukka commented Mar 10, 2025

This avoids having error entries logged for a CancellationError.

@github-project-automation github-project-automation bot moved this to Pull Request in cpptools Mar 10, 2025
@lukka lukka marked this pull request as ready for review March 10, 2025 18:23
@lukka lukka requested a review from a team as a code owner March 10, 2025 18:23
@lukka lukka force-pushed the dev/match-cancelederror branch from a9e88c8 to 5251bf2 Compare March 10, 2025 18:23
@lukka lukka merged commit 72f68c0 into main Mar 10, 2025
6 checks passed
@lukka lukka deleted the dev/match-cancelederror branch March 10, 2025 19:46
@github-project-automation github-project-automation bot moved this from Pull Request to Done in cpptools Mar 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants