Skip to content

Conversation

@dsanders11
Copy link
Member

Should be unnecessary thanks to the typings in global.d.ts.

@dsanders11 dsanders11 requested a review from hitarth-gg August 30, 2025 22:40
@dsanders11 dsanders11 marked this pull request as ready for review August 30, 2025 22:40
@dsanders11 dsanders11 merged commit ed7b762 into main Aug 30, 2025
2 checks passed
@dsanders11 dsanders11 deleted the chore/remove-as-any branch August 30, 2025 23:12
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.

3 participants