Skip to content

Add facet support to some types#330

Merged
thomaskrause merged 9 commits intomainfrom
add-facet
Aug 15, 2025
Merged

Add facet support to some types#330
thomaskrause merged 9 commits intomainfrom
add-facet

Conversation

@thomaskrause
Copy link
Copy Markdown
Member

No description provided.

@thomaskrause thomaskrause enabled auto-merge August 15, 2025 12:31
@github-actions
Copy link
Copy Markdown
Contributor

Commit f4289da

-------------
Diff Coverage
Diff: origin/main...HEAD, staged and unstaged changes
-------------
core/src/types.rs (92.3%): Missing lines 202
-------------
Total:   13 lines
Missing: 1 line
Coverage: 92%
-------------

@thomaskrause thomaskrause merged commit 4b493d2 into main Aug 15, 2025
10 checks passed
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.

1 participant