driazati commented on PR #11329: URL: https://github.com/apache/tvm/pull/11329#issuecomment-1149140022
> I also manually triggered CI to re-run as the bot didn't seem to be doing it? the bot is broken but fixes are in flight, we're looking into better ways to test these kinds of things before deploying (e.g. the merge functionality also isn't working due to some auth errors I haven't been able to sort out yet) -- 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]
