Skip to content

add #embed and embedirs support #6762#6779

Merged
waruqi merged 1 commit intodevfrom
embeddirs
Sep 7, 2025
Merged

add #embed and embedirs support #6762#6779
waruqi merged 1 commit intodevfrom
embeddirs

Conversation

@waruqi
Copy link
Member

@waruqi waruqi commented Sep 6, 2025

@waruqi waruqi added this to the v3.0.3 milestone Sep 6, 2025
@waruqi waruqi mentioned this pull request Sep 6, 2025
@waruqi waruqi merged commit b0bcb8b into dev Sep 7, 2025
45 of 46 checks passed
@waruqi waruqi deleted the embeddirs branch September 7, 2025 00:24
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