junrushao1994 commented on PR #11017: URL: https://github.com/apache/tvm/pull/11017#issuecomment-1099876502
It's weird that I'm seeing the red cross while the CI is actually green: <img width="102" alt="image" src="https://user-images.githubusercontent.com/22515877/163527399-ffb81b4d-9776-40b7-8e19-634741cfe3fd.png";> While I'm pretty sure there isn't any problem in this PR, I just wanted to have @masahi to take a second look, in case I blow anything up :-) If you are sure there isn't any problem, please go ahead and merge this. Thanks a lot! -- 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]
![https://user-images.githubusercontent.com/22515877/163527399-ffb81b4d-9776-40b7-8e19-634741cfe3fd.png"](https://user-images.githubusercontent.com/22515877/163527399-ffb81b4d-9776-40b7-8e19-634741cfe3fd.png"){kind=link}