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/09 00:21:50 UTC
[GitHub] [tvm] guberti opened a new pull request, #11637: [CI] Bump CI GPU image version
guberti opened a new pull request, #11637:
URL: https://github.com/apache/tvm/pull/11637
Thanks to @areusch for rebuilding!
--
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] guberti commented on pull request #11637: [WIP] [CI] Bump CI GPU image version
Posted by GitBox <gi...@apache.org>.
guberti commented on PR #11637:
URL: https://github.com/apache/tvm/pull/11637#issuecomment-1151377632
> @guberti can you run the generate.py tool?
@areusch Done, sorry for the wait.
--
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 commented on pull request #11637: [WIP] [CI] Bump CI GPU image version
Posted by GitBox <gi...@apache.org>.
areusch commented on PR #11637:
URL: https://github.com/apache/tvm/pull/11637#issuecomment-1152680621
@guberti sorry--can you resolve the merge conflict?
--
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 #11637: [WIP] [CI] Bump CI GPU image version
Posted by GitBox <gi...@apache.org>.
areusch merged PR #11637:
URL: https://github.com/apache/tvm/pull/11637
--
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 commented on pull request #11637: [WIP] [CI] Bump CI GPU image version
Posted by GitBox <gi...@apache.org>.
areusch commented on PR #11637:
URL: https://github.com/apache/tvm/pull/11637#issuecomment-1150559606
@guberti can you run the generate.py tool?
--
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] guberti commented on pull request #11637: [WIP] [CI] Bump CI GPU image version
Posted by GitBox <gi...@apache.org>.
guberti commented on PR #11637:
URL: https://github.com/apache/tvm/pull/11637#issuecomment-1153326957
> @guberti sorry--can you resolve the merge conflict?
@areusch done!
--
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