Mousius commented on PR #11809:
URL: https://github.com/apache/tvm/pull/11809#issuecomment-1168372615

   > 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.
   
   I support this approach as well, having two smaller containers with a 
specific responsibility rather than one monolithic container should make it 
easier to manage in the long term as the needs evolve. The only downside is the 
typical container hopping for development, though I think we can figure out how 
to get that to work also.
   
   Minor note, I think `ci_micro` rather than `ci_microtvm` as it's already 
identified as a `tvm` image?


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

Reply via email to