You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/09/15 06:48:52 UTC
[GitHub] [tvm] driazati opened a new pull request, #12788: [ci] Remove author check from ping bot
driazati opened a new pull request, #12788:
URL: https://github.com/apache/tvm/pull/12788
This has been working fine for a while, this code opens it up so it's
not limited to the authors in #9983.
--
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: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] github-actions[bot] commented on pull request #12788: [ci] Remove author check from ping bot
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #12788:
URL: https://github.com/apache/tvm/pull/12788#issuecomment-1247893025
<!---skipped-tests-comment-->
No additional skipped tests found in this branch for commit 2eb04646b28ed324d0b96cecf9fafa32aff680a4.
--
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: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] github-actions[bot] commented on pull request #12788: [ci] Remove author check from ping bot
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #12788:
URL: https://github.com/apache/tvm/pull/12788#issuecomment-1247894590
<!---docs-bot-comment-->
Built docs for commit 2eb04646b28ed324d0b96cecf9fafa32aff680a4 can be found [here](https://pr-docs.tlcpack.ai/PR-12788/1/docs/index.html).
--
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: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] areusch merged pull request #12788: [ci] Remove author check from ping bot
Posted by GitBox <gi...@apache.org>.
areusch merged PR #12788:
URL: https://github.com/apache/tvm/pull/12788
--
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: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org