Skip to content

chore(docs): formal dev related docs#48

Merged
keli-wen merged 1 commit into
masterfrom
standard_dev_docs
Aug 2, 2025
Merged

chore(docs): formal dev related docs#48
keli-wen merged 1 commit into
masterfrom
standard_dev_docs

Conversation

@keli-wen

@keli-wen keli-wen commented Aug 2, 2025

Copy link
Copy Markdown
Contributor

Description

Refer to #46

Checklist

Please feel free to remove inapplicable items for your PR.

  • The PR title starts with [$CATEGORY] (such as [Docs], [Fix], [Feature], [Refactor])
  • Related issue is referred in this PR
  • The markdown and latex are rendered correctly.
  • The code in PR is well-documented.
  • The PR is complete and small, read the Google eng practice (CL equals to PR) to understand more about small PR.

@keli-wen keli-wen self-assigned this Aug 2, 2025
@keli-wen keli-wen added the documentation Improvements or additions to documentation label Aug 2, 2025
@keli-wen keli-wen requested review from a team, bridgeqiqi, pkudba and wanghaoxue0 August 2, 2025 15:37
@keli-wen keli-wen linked an issue Aug 2, 2025 that may be closed by this pull request
@keli-wen keli-wen merged commit f3d5c48 into master Aug 2, 2025
1 check passed
@keli-wen keli-wen deleted the standard_dev_docs branch August 2, 2025 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Docs] Add developer tutorial for pre-commit and formal issue templates

3 participants