leandron commented on pull request #9083: URL: https://github.com/apache/tvm/pull/9083#issuecomment-934170380
> @leandron Sorry, I was handling another PR last week, but I noticed there's a request for updating the ci image, and already passed the testing. After #9199 merged, could you help to rerun the ci for this pull request? You need to retrigger CI by force pushing on the branch, to "update" this PR, then CI will run automatically. -- 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]
