Skip to content

Embedder rework#338

Merged
andhreljaKern merged 6 commits intodevfrom
embedder-rework
Jul 30, 2025
Merged

Embedder rework#338
andhreljaKern merged 6 commits intodevfrom
embedder-rework

Conversation

@andhreljaKern
Copy link
Copy Markdown
Contributor

@andhreljaKern andhreljaKern marked this pull request as ready for review July 30, 2025 07:45
@andhreljaKern andhreljaKern merged commit 22223cc into dev Jul 30, 2025
1 check passed
@JWittmeyer JWittmeyer deleted the embedder-rework branch July 30, 2025 14:37
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