Skip to content

doc: add coding guidelines - #725

Merged
rikosellic merged 2 commits into
asterinas:mainfrom
Marsman1996:doc-guideline
Aug 28, 2026
Merged

rikosellic merged 2 commits into
asterinas:mainfrom
Marsman1996:doc-guideline

Conversation

@Marsman1996

Copy link
Copy Markdown
Collaborator

No description provided.

@Marsman1996
Marsman1996 requested a review from rikosellic August 26, 2026 11:11
Comment thread docs/coding-guidelines/maintainability.md Outdated
Comment thread docs/coding-guidelines/maintainability.md Outdated
Comment thread docs/coding-guidelines/maintainability.md Outdated
Comment thread docs/coding-guidelines/proof-engineering.md Outdated
Comment thread docs/coding-guidelines/proof-engineering.md Outdated
Comment thread docs/coding-guidelines/proof-engineering.md Outdated
Comment thread docs/coding-guidelines/proof-engineering.md Outdated
Comment thread docs/coding-guidelines/workflow.md Outdated
@Marsman1996
Marsman1996 requested a review from rikosellic August 27, 2026 10:42
@rikosellic

Copy link
Copy Markdown
Collaborator

LGTM, thanks for your contributions!

@rikosellic
rikosellic merged commit adbc4b7 into asterinas:main Aug 28, 2026
4 checks passed
@rikosellic rikosellic added the documentation Improvements or additions to documentation label Aug 28, 2026
@Marsman1996
Marsman1996 deleted the doc-guideline branch September 7, 2026 08:55
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.

2 participants