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 2021/09/24 22:42:54 UTC

[GitHub] [tvm] idoudali opened a new pull request #9110: [CI] bash.sh, build.sh: add option to set the container name and host…

idoudali opened a new pull request #9110:
URL: https://github.com/apache/tvm/pull/9110


   …name
   
   This commit adds option "--name" to bash.sh and build.sh to enable the user
   specify the name of the container and set the hostname inside the
   container as well.
   
   This helps the developer idenitfy that they are inside the container
   and which container they are working inside.
   
   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 #9110: [CI] bash.sh, build.sh: add option to set the container name and hostname

Posted by GitBox <gi...@apache.org>.
areusch merged pull request #9110:
URL: https://github.com/apache/tvm/pull/9110


   


-- 
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 commented on pull request #9110: [CI] bash.sh, build.sh: add option to set the container name and hostname

Posted by GitBox <gi...@apache.org>.
areusch commented on pull request #9110:
URL: https://github.com/apache/tvm/pull/9110#issuecomment-928229096


   thanks @idoudali the PR is now merged!


-- 
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 #9110: [CI] bash.sh, build.sh: add option to set the container name and hostname

Posted by GitBox <gi...@apache.org>.
areusch merged pull request #9110:
URL: https://github.com/apache/tvm/pull/9110


   


-- 
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 commented on pull request #9110: [CI] bash.sh, build.sh: add option to set the container name and hostname

Posted by GitBox <gi...@apache.org>.
areusch commented on pull request #9110:
URL: https://github.com/apache/tvm/pull/9110#issuecomment-928229096


   thanks @idoudali the PR is now merged!


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