[GitHub] [tvm] github-actions[bot] commented on pull request #12840: [ci] Lint PR title/body for @s

[GitBox <gi...@apache.org>]

github-actions[bot] commented on PR #12840:
URL: https://github.com/apache/tvm/pull/12840#issuecomment-1251401168

   <!---bot-comment-->
   
   Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @-ing them in a comment.
   
   <!--bot-comment-ccs-start-->
    * cc @areusch, @gigiblender, @Mousius <sub>See [#10317](https://github.com/apache/tvm/issues/10317) for details</sub><!--bot-comment-ccs-end--><!--bot-comment-skipped-tests-start-->
    * Unable to run tests bot because main failed to pass CI at 79c48f38878788b46d3acd1945469ae97e508d7d.<!--bot-comment-skipped-tests-end--><!--bot-comment-docs-start-->
    * Built docs for commit 515dd54c111a9656aec00f0f05d238390afc08dd can be found [here](https://pr-docs.tlcpack.ai/PR-12840/display/docs/index.html).<!--bot-comment-docs-end-->
   
   <sub>Generated by [tvm-bot](https://github.com/apache/tvm/blob/main/ci/README.md#github-actions)</sub>


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org