gigiblender commented on issue #12902: URL: https://github.com/apache/tvm/issues/12902#issuecomment-1257857648
Thank you for raising this, and we sincerely apologize for causing this inconvenience. #12903 should disable the bot. Regarding skipping the already queued/in-progress runs, I don't have the GH permissions to do this and will have to wait a couple of hours for someone else (possibly in a different time zone) to do it. @driazati @areusch -- 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]
