Skip to content

Conversation

jorenham
Copy link
Member

closes #309

@jorenham jorenham marked this pull request as ready for review April 17, 2025 20:36
@Copilot Copilot AI review requested due to automatic review settings April 17, 2025 20:36
Copilot

This comment was marked as outdated.

Copy link
Member

@lucascolley lucascolley left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks Joren!

@lucascolley lucascolley merged commit 5e14b53 into data-apis:main Apr 19, 2025
23 checks passed
@jorenham jorenham deleted the typing/just branch April 19, 2025 14:17
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.

TYP: tighten annotations for ord param
2 participants