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 2020/12/11 18:25:41 UTC

[GitHub] [tvm] areusch opened a new pull request #7095: clean standalone CRT files in microTVM VM rebuild script

areusch opened a new pull request #7095:
URL: https://github.com/apache/tvm/pull/7095


   This PR fixes a small bug where the microTVM Virtual Machine provisioning would fail when a PR deletes a CRT header or source file, and the user had previously built a microTVM VM at an older revision.


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

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

[GitHub] [tvm] zhiics merged pull request #7095: clean standalone CRT files in microTVM VM rebuild script

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

zhiics merged pull request #7095:
URL: https://github.com/apache/tvm/pull/7095


   


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

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