Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Manual update of generated DOM and Worker libs #59366

Merged
merged 1 commit into from
Jul 19, 2024

Conversation

rbuckton
Copy link
Member

This is a manual insertion of updated types for dom.generated.d.ts et al built from microsoft/TypeScript-DOM-lib-generator#1713

@rbuckton rbuckton requested review from sandersn and jakebailey July 19, 2024 21:11
@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Jul 19, 2024
Copy link
Member

@jakebailey jakebailey left a comment

Choose a reason for hiding this comment

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

Seems right; does this need an extended test? I guess not, we're all-in...

@DanielRosenwasser DanielRosenwasser merged commit 98f45d7 into main Jul 19, 2024
32 checks passed
@DanielRosenwasser DanielRosenwasser deleted the dom-types-builtiniterator branch July 19, 2024 21:27
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

5 participants