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/01 13:12:04 UTC

[GitHub] [tvm] gromero commented on pull request #8884: [microTVM] Zephyr: Fix option name in PROJECT_OPTIONS

gromero commented on pull request #8884:
URL: https://github.com/apache/tvm/pull/8884#issuecomment-910271784


   > LGTM. It just needs CI to be triggered again, as you are facing the issue described in #8876.
   
   @leandron thanks a lot for the review. Yeah, ok, let's wait #8876 to get resolved and I'll retrigger. Cheers.


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