Skip to content

Conversation

@xudong963
Copy link
Member

@xudong963 xudong963 commented Oct 24, 2025

@xudong963 xudong963 enabled auto-merge (squash) October 24, 2025 09:03
@xudong963 xudong963 merged commit f3d5eb1 into main Oct 24, 2025
8 checks passed
@xudong963 xudong963 deleted the rich_doc branch October 24, 2025 09:10
@github-actions github-actions bot mentioned this pull request Oct 24, 2025
@suremarc
Copy link
Collaborator

Thanks, LGTM!

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.

3 participants