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.

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

Add design document for devtools extension #735

Merged
merged 2 commits into from
Jan 24, 2024
Merged

Conversation

chacha912
Copy link
Contributor

@chacha912 chacha912 commented Jan 24, 2024

What this PR does / why we need it?

Add design document for devtools extension

Any background context you want to provide?

What are the relevant tickets?

Related #734

Checklist

  • Added relevant tests or not required
  • Didn't break anything

Copy link

codecov bot commented Jan 24, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (c0da57b) 81.13% compared to head (da137de) 81.13%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #735   +/-   ##
=======================================
  Coverage   81.13%   81.13%           
=======================================
  Files          59       59           
  Lines        4289     4289           
  Branches      838      838           
=======================================
  Hits         3480     3480           
  Misses        548      548           
  Partials      261      261           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Member

@hackerwins hackerwins left a comment

Choose a reason for hiding this comment

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

Thanks for your contribution.

@hackerwins hackerwins merged commit 1fcd6b0 into main Jan 24, 2024
2 checks passed
@hackerwins hackerwins deleted the design-devtools branch January 24, 2024 10:54
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.

None yet

2 participants