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 2020/09/20 19:05:56 UTC
[GitHub] [incubator-tvm] tqchen opened a new pull request #6518: [CI] Cancel previous build if new commit has been pushed to a PR
tqchen opened a new pull request #6518:
URL: https://github.com/apache/incubator-tvm/pull/6518
cc @jroesch @tmoreau89 @ZihengJiang
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-tvm] tqchen merged pull request #6518: [CI] Cancel previous build if a new commit is pushed to a PR
Posted by GitBox <gi...@apache.org>.
tqchen merged pull request #6518:
URL: https://github.com/apache/incubator-tvm/pull/6518
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-tvm] jroesch commented on pull request #6518: [CI] Cancel previous build if a new commit is pushed to a PR
Posted by GitBox <gi...@apache.org>.
jroesch commented on pull request #6518:
URL: https://github.com/apache/incubator-tvm/pull/6518#issuecomment-695983642
🎊
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-tvm] jroesch commented on pull request #6518: [CI] Cancel previous build if a new commit is pushed to a PR
Posted by GitBox <gi...@apache.org>.
jroesch commented on pull request #6518:
URL: https://github.com/apache/incubator-tvm/pull/6518#issuecomment-695983642
🎊
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-tvm] tqchen merged pull request #6518: [CI] Cancel previous build if a new commit is pushed to a PR
Posted by GitBox <gi...@apache.org>.
tqchen merged pull request #6518:
URL: https://github.com/apache/incubator-tvm/pull/6518
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org