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/09/26 17:49:14 UTC

[GitHub] [tvm] driazati opened a new pull request, #12909: [ci] Initialize git during deploys

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

   We rely on some utilities scripts in the deploy steps so they also need
   a git checkout.
   
   Fixes issues like https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/4345/pipeline


-- 
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 #12909: [ci] Initialize git during deploys

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

areusch merged PR #12909:
URL: https://github.com/apache/tvm/pull/12909


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