Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

types: improve $set and $delete #8719

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

types: improve $set and $delete #8719

wants to merge 5 commits into from
+9 −2

Conversation

Alfred-Skyblue
Copy link
Member

Enhance the type hints for $set and $delete.

@Alfred-Skyblue Alfred-Skyblue mentioned this pull request Jul 5, 2023
Open
13 tasks
@sxzz sxzz changed the title chore: improve the types for $set and $delete types: improve $set and $delete Jul 17, 2023
@sxzz sxzz added the ready to merge The PR is ready to be merged. label Jul 17, 2023
@github-actions
Copy link

github-actions bot commented Sep 4, 2023 •
edited

Size Report

Bundles

File Size Gzip Brotli
runtime-dom.global.prod.js 86.4 kB 32.9 kB 29.7 kB
vue.global.prod.js 132 kB 49.6 kB 44.5 kB

Usages

Name Size Gzip Brotli
createApp 48 kB 18.9 kB 17.2 kB
createSSRApp 51.2 kB 20.2 kB 18.4 kB
defineCustomElement 50.4 kB 19.7 kB 17.9 kB
overall 61.3 kB 23.7 kB 21.6 kB

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sxzz sxzz sxzz approved these changes

Assignees
No one assigned
Labels
ready to merge The PR is ready to be merged.
Projects
Issue / PR Management
Status: Ready to merge
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Alfred-Skyblue @sxzz