You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/02/02 19:52:06 UTC

[GitHub] [tvm] driazati opened a new pull request #10149: [skip ci] Fix for ping_reviewers wait time

driazati opened a new pull request #10149:
URL: https://github.com/apache/tvm/pull/10149


   This was set to 1 day instead of 1 week
   
   cc @areusch
   
   Thanks for contributing to TVM!   Please refer to guideline https://tvm.apache.org/docs/contribute/ for useful information and tips. After the pull request is submitted, please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @ them in the pull request thread.
   


-- 
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

[GitHub] [tvm] areusch merged pull request #10149: [skip ci] Fix for ping_reviewers wait time

Posted by GitBox <gi...@apache.org>.

areusch merged pull request #10149:
URL: https://github.com/apache/tvm/pull/10149


   


-- 
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