jiangjiajun commented on issue #9231: URL: https://github.com/apache/tvm/issues/9231#issuecomment-939257015
> I have reproduced the problem, and send a pull request #9236 to fix the bug, let's see if this could solve the ci problem @masahi @junrushao1994 @areusch Now all the ci test passed, sorry for all the blocking PRs, we can merge #9236 and retrigger ci for the blocked pull request. The reason this bug not detected by ci is, 1. #9083 was merged at 10/05 2. #9126 passed all the ci test at 10/04, merged at 10/08 this caused #9126 didn't test with #9083 -- 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]
