tqchen commented on PR #14651: URL: https://github.com/apache/tvm/pull/14651#issuecomment-1533082675
The CI is green now. Based on what I read, there is a inter dep between changing the docker name and properly build and upload the images to the dockerhub. I assume once we merged the docker part and images get uploaded, it would be as simple as change the images to the right one and it can be done quickly. -- 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]
