Skip to content

Make AnyPlatform match any platform#460

Merged
giordano merged 3 commits into
masterfrom
eschnett/anyplatform
Jan 9, 2026
Merged

Make AnyPlatform match any platform#460
giordano merged 3 commits into
masterfrom
eschnett/anyplatform

Conversation

@eschnett
Copy link
Copy Markdown
Contributor

@eschnett eschnett commented Jan 8, 2026

No description provided.

@giordano
Copy link
Copy Markdown
Member

giordano commented Jan 8, 2026

Can you please add tests?

@eschnett
Copy link
Copy Markdown
Contributor Author

eschnett commented Jan 8, 2026

I added tests, duplicating what platforms_match is testing.

@eschnett
Copy link
Copy Markdown
Contributor Author

eschnett commented Jan 9, 2026

@giordano Does this look good?

@giordano giordano merged commit 4820fc6 into master Jan 9, 2026
9 checks passed
@giordano giordano deleted the eschnett/anyplatform branch January 9, 2026 22:15
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