Skip to content

Conversation

@dschafer
Copy link
Owner

As suggested by https://www.reddit.com/r/rust/comments/1k6cgnm/comment/mor0oua/, there's a simpler way to do this with a single filter() call.

@dschafer dschafer merged commit b1fb801 into main Apr 24, 2025
1 check passed
@dschafer dschafer deleted the doublefilter branch April 24, 2025 22:20
Repository owner deleted a comment from codecov-commenter Apr 24, 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.

2 participants