Skip to content

Conversation

@gsnedders
Copy link
Member

This should be relatively self-evident to review, and CI should verify whether or not this works.

@gsnedders gsnedders requested review from KyleJu and past October 15, 2024 22:27
Copy link
Collaborator

@KyleJu KyleJu left a comment

Choose a reason for hiding this comment

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

I asked @jrobbins for help since he has more experience with mypy, but I also looked more into the use of cast() in this PR. LGTM.

Thanks for the PR!

@past past merged commit d6339c4 into web-platform-tests:main Oct 16, 2024
12 checks passed
@gsnedders gsnedders deleted the more-mypy branch October 16, 2024 23:35
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