Powei Feng
|
bba254ba6d
|
docs: add github presubmit workflow to prevent /docs edits (#8357)
The content of /docs should be generated and not manually
generated. We add a script to check for edits and also allow for
tags to override the check.
|
2025-01-21 07:08:11 +00:00 |
|