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 element registry #26

Merged
merged 10 commits into from
Sep 13, 2024
Merged

Add element registry #26

merged 10 commits into from
Sep 13, 2024

Conversation

tvdijen
Copy link
Member

@tvdijen tvdijen commented Sep 12, 2024

No description provided.

@tvdijen tvdijen requested a review from jaimeperez September 12, 2024 09:22
Copy link

codecov bot commented Sep 12, 2024

Codecov Report

Attention: Patch coverage is 36.00000% with 16 lines in your changes missing coverage. Please review.

Project coverage is 74.62%. Comparing base (900bfed) to head (eabfe6f).
Report is 11 commits behind head on master.

Additional details and impacted files
@@             Coverage Diff              @@
##             master      #26      +/-   ##
============================================
- Coverage     76.11%   74.62%   -1.49%     
- Complexity      200      210      +10     
============================================
  Files            21       22       +1     
  Lines           649      674      +25     
============================================
+ Hits            494      503       +9     
- Misses          155      171      +16     

@tvdijen tvdijen force-pushed the feature/element-registry branch from b199f83 to 9c38466 Compare September 12, 2024 09:32
@tvdijen tvdijen force-pushed the feature/element-registry branch 2 times, most recently from 116438e to efbd98e Compare September 12, 2024 11:44
@tvdijen tvdijen force-pushed the feature/element-registry branch 5 times, most recently from 5cf50c9 to 179707e Compare September 12, 2024 16:36
@tvdijen tvdijen force-pushed the feature/element-registry branch from 179707e to 8004746 Compare September 12, 2024 16:37
@tvdijen tvdijen merged commit 02bc56e into master Sep 13, 2024
29 checks passed
@tvdijen tvdijen deleted the feature/element-registry branch September 13, 2024 14:16
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