driazati opened a new pull request, #11480: URL: https://github.com/apache/tvm/pull/11480
This adds a command to restart CI runs that have stopped (either from a failure, success, or abort) via GitHub comments addressed to tvm-bot: ``` @tvm-bot rerun ``` tvm-bot will then comment on the thread and send a request to Jenkins to restart CI. This does not restart GitHub Actions jobs though we may be able to add that in the future. Thanks for contributing to TVM! Please refer to guideline https://tvm.apache.org/docs/contribute/ for useful information and tips. After the pull request is submitted, please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @ them in the pull request thread. -- 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]
