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/06/16 21:17:43 UTC
[GitHub] [tvm] areusch opened a new pull request, #11753: Fix CI break due to concurrent merge.
areusch opened a new pull request, #11753:
URL: https://github.com/apache/tvm/pull/11753
* #11470 and #11741.
--
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 #11753: [skip ci] Fix CI break due to concurrent merge.
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #11753:
URL: https://github.com/apache/tvm/pull/11753#issuecomment-1158233612
Built docs for commit [31d55290679b029949a61be26ba2f4f17742fd4d](31d55290679b029949a61be26ba2f4f17742fd4d) can be found [here](https://pr-docs.tlcpack.ai/PR-11753/2/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] driazati commented on pull request #11753: Fix CI break due to concurrent merge.
Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11753:
URL: https://github.com/apache/tvm/pull/11753#issuecomment-1158158832
can you resubmit with `[skip ci]`?
--
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 #11753: [skip ci] Fix CI break due to concurrent merge.
Posted by GitBox <gi...@apache.org>.
areusch merged PR #11753:
URL: https://github.com/apache/tvm/pull/11753
--
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