Skip to content

Update #34

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 14, 2025
Merged

Update #34

merged 1 commit into from
Nov 14, 2025

Conversation

@ziyuhehe
Copy link
Collaborator

@ziyuhehe ziyuhehe commented Nov 14, 2025

Type of Changes

  • Add new content for the documentation
  • Modification in the existing documentation
  • Change infrastructure (not related to documentation content)

Checklist

  • My changes rendered as expected by running yarn start.
  • My changes followed the style guide.
  • I have self-reviewed this PR.
  • I have performed a syntax validation check to avoid syntax errors.

Helpful Info

@Aran0011
Copy link
Contributor

Aran0011 commented Nov 14, 2025

@Dholmblad Could you please help to merge this PR first? Thanks!

@Dholmblad Dholmblad merged commit b6fa492 into public Nov 14, 2025
2 checks passed
github-actions bot pushed a commit that referenced this pull request Nov 14, 2025
@Dholmblad
Update doc to 25.11 (#34)
210247c 
Co-authored-by: Yu, Ran <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Dholmblad Dholmblad Dholmblad approved these changes

@Aran0011 Aran0011 Aran0011 approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@ziyuhehe @Aran0011 @Dholmblad