Skip to content

Conversation

@anshulbaliga7
Copy link
Contributor

What changes were proposed in this pull request?

This PR adds minor nit fixes in documentation.

Why are the changes needed?

Helps improve documentation clarity and correctness.

Does this PR introduce any user-facing change?

Only Doc changes

How was this patch tested?

CI

Was this patch authored or co-authored using generative AI tooling?

No

@anshulbaliga7
Copy link
Contributor Author

@dongjoon-hyun Could you please review? Thanks!

@pan3793
Copy link
Member

pan3793 commented Feb 12, 2026

@anshulbaliga7, please check the CI results and follow the guidance to enable GitHub Actions on your forked repo.

@anshulbaliga7
Copy link
Contributor Author

@pan3793, Thanks! I’ve re-triggered the CI, and all checks are now passing. Could you please take another look?

@pan3793 pan3793 closed this in 59f3a16 Feb 12, 2026
@pan3793
Copy link
Member

pan3793 commented Feb 12, 2026

thanks, merged to master (4.2.0)

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