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/08/11 19:20:32 UTC
[GitHub] [tvm] driazati opened a new pull request, #12387: [skip ci][ci] Fix Jenkinsfile
driazati opened a new pull request, #12387:
URL: https://github.com/apache/tvm/pull/12387
This got out of date after merging #12178
--
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 #12387: [skip ci][ci] Fix Jenkinsfile
Posted by GitBox <gi...@apache.org>.
areusch merged PR #12387:
URL: https://github.com/apache/tvm/pull/12387
--
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 #12387: [skip ci][ci] Fix Jenkinsfile
Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #12387:
URL: https://github.com/apache/tvm/pull/12387#issuecomment-1212402159
<!---docs-bot-comment-->
Built docs for commit a717e18c462e5235d15f2fc1358df2df622026ba can be found [here](https://pr-docs.tlcpack.ai/PR-12387/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