leandron edited a comment on pull request #7427: URL: https://github.com/apache/tvm/pull/7427#issuecomment-777055150
Thanks for the replies @comaniac @zxybazh. One final thing from me (to get you on the right timezone) - just so that we update gwith a potential final version of the PR. Any preferences on the Python-side function? At the moment I see it is called `Target.names()`. Shall we change it to `Target.kinds()` for example, or even to something else? ---------------------------------------------------------------- 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: [email protected]
