ruff
Add a helper for any-like operations
#1757
Merged

Add a helper for any-like operations #1757

charliermarsh merged 1 commit into main from charlie/any
charliermarsh
charliermarsh Add a helper for any-like operations
38d4034e
charliermarsh charliermarsh merged b85105d2 into main 2 years ago
charliermarsh charliermarsh deleted the charlie/any branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone