Skip to content

Conversation

@JeffBezanson
Copy link
Member

Fixes a trimming error I encountered.

@JeffBezanson JeffBezanson added the backport 1.12 Change should be backported to release-1.12 label Aug 12, 2025
@ViralBShah
Copy link
Member

ViralBShah commented Aug 12, 2025

Fails everywhere in a couple of tests.

Co-authored-by: Jishnu Bhattacharya <[email protected]>
@dkarrasch
Copy link
Member

dkarrasch commented Aug 13, 2025

The one single failing test is a very new one (unrelated to this change), which we may need to make more robust.

@dkarrasch dkarrasch merged commit 7e647cf into master Aug 13, 2025
1 of 2 checks passed
@dkarrasch dkarrasch deleted the jb/trimtrierror branch August 13, 2025 13:11
dkarrasch pushed a commit that referenced this pull request Aug 13, 2025
ViralBShah added a commit that referenced this pull request Aug 19, 2025
@dkarrasch dkarrasch removed the backport 1.12 Change should be backported to release-1.12 label Aug 21, 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.

4 participants