Skip to content

refactor: unify doc command with stderr filtering - #35

Merged
rikosellic merged 1 commit into
asterinas:mainfrom
Marsman1996:doc-filter
Aug 3, 2026
Merged

refactor: unify doc command with stderr filtering#35
rikosellic merged 1 commit into
asterinas:mainfrom
Marsman1996:doc-filter

Conversation

@Marsman1996

Copy link
Copy Markdown
Collaborator

make doc also needs filtering warnings

@Marsman1996
Marsman1996 requested a review from rikosellic August 3, 2026 12:02
@rikosellic

Copy link
Copy Markdown
Collaborator

LGTM!

@rikosellic
rikosellic merged commit 00d9bc7 into asterinas:main Aug 3, 2026
1 check passed
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