gigiblender commented on PR #12137: URL: https://github.com/apache/tvm/pull/12137#issuecomment-1189500354
> LGTM thanks! just fyi to skip GitHub Actions jobs as well as Jenkins `[skip ci]` needs to be on the commit message subject too (its already been going for a while so we can wait it out or you can update, either is fine). also can you comment on #12039 once this is merged? Thanks for the advice! Already referenced the issue but will also leave a comment after merge. -- 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]
