mehrdadh commented on PR #11809: URL: https://github.com/apache/tvm/pull/11809#issuecomment-1167973847
Adding to Andrew's point, I think we can remove `USE_MICRO` since it's almost always ON. Also, I prefer to keep ci_qemu separate and also call it ci_microtvm. I believe this image could grow larger in future and if we combine it with ci_cpu it becomes similar to ci_cpu. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
