michalpiszczek opened a new issue, #13187: URL: https://github.com/apache/tvm/issues/13187
We have `@tvm-bot rerun`. It would be helpful to also have `@tvm-bot rerun failed`. Sometimes it's useful to just rerun tests that have failed, for example if one is believed to be flakey. Committers can already do this manually because they have the Github permissions needed. It would be nice for all contributors to have this ability. -- 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]
