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

docs(widgets): update the list of available widgets #496

Merged
merged 1 commit into from
Sep 13, 2023
Merged

Conversation

joshka
Copy link
Member

@joshka joshka commented Sep 13, 2023

No description provided.

@codecov
Copy link

codecov bot commented Sep 13, 2023

Codecov Report

Merging #496 (6c74009) into main (a7bf4b3) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #496   +/-   ##
=======================================
  Coverage   89.89%   89.89%           
=======================================
  Files          41       41           
  Lines       11286    11286           
=======================================
  Hits        10145    10145           
  Misses       1141     1141           
Files Changed Coverage Δ
src/widgets.rs 64.70% <ø> (ø)

@orhun orhun merged commit d4976d4 into main Sep 13, 2023
33 checks passed
@joshka joshka deleted the docs-widgets branch September 13, 2023 10:26
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.

2 participants