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/11/14 18:13:58 UTC
[GitHub] [tvm] mehrdadh opened a new issue, #13378: [Bug][microTVM] Project API does not use projectOption default values
mehrdadh opened a new issue, #13378:
URL: https://github.com/apache/tvm/issues/13378
Currently, if we set a default value for a projectOption but we don't pass the option when we generate the project, it will ignore the default value of the projectOption defined in the serve API.
cc @gromero
--
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.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] mehrdadh closed issue #13378: [Bug][microTVM] Project API does not use projectOption default values
Posted by "mehrdadh (via GitHub)" <gi...@apache.org>.
mehrdadh closed issue #13378: [Bug][microTVM] Project API does not use projectOption default values
URL: https://github.com/apache/tvm/issues/13378
--
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] mehrdadh commented on issue #13378: [Bug][microTVM] Project API does not use projectOption default values
Posted by "mehrdadh (via GitHub)" <gi...@apache.org>.
mehrdadh commented on issue #13378:
URL: https://github.com/apache/tvm/issues/13378#issuecomment-1472571832
This has been fixed. It's no longer required to pass options that has default value.
--
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