docs: Add a note on full CI run in contributing guide (#13646)

This commit is contained in:
Yuan Tang 2025-02-22 00:53:59 -05:00 committed by GitHub
parent ada7c780d5
commit 8c0dd3d4df
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -145,6 +145,9 @@ review process:
- Please respond to all comments within a reasonable time frame. If a comment - Please respond to all comments within a reasonable time frame. If a comment
isn't clear or you disagree with a suggestion, feel free to ask for isn't clear or you disagree with a suggestion, feel free to ask for
clarification or discuss the suggestion. clarification or discuss the suggestion.
- Note that not all CI checks will be executed due to limited computational
resources. The reviewer will add `ready` label to the PR when the PR is
ready to merge or a full CI run is needed.
## Thank You ## Thank You