areusch commented on PR #10529: URL: https://github.com/apache/tvm/pull/10529#issuecomment-1130400656
@SebastianBoblestETAS weird. that looks like a problem with the lint image. I think we updated that recently, can you try to re-push (feel free to do this if you see a CI error that seems unrelated to your change). -- 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]
