[GitHub] [tvm] driazati opened a new pull request, #12609: [ci] Move non-task CI scripts into ci/ folder

[GitBox <gi...@apache.org>]

driazati opened a new pull request, #12609:
URL: https://github.com/apache/tvm/pull/12609

   This separates the CI scripts that run tasks (generally in Docker) from
   those that are used in GitHub Actions jobs and in Jenkins outside of
   Docker.
   
   


-- 
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 #12609: [ci] Move non-task CI scripts into ci/ folder

[GitBox <gi...@apache.org>]

areusch merged PR #12609:
URL: https://github.com/apache/tvm/pull/12609


-- 
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 #12609: [ci] Move non-task CI scripts into ci/ folder

[GitBox <gi...@apache.org>]

github-actions[bot] commented on PR #12609:
URL: https://github.com/apache/tvm/pull/12609#issuecomment-1231057000

   <!---docs-bot-comment-->
   
   Built docs for commit ebbc184305ddafc0a52fe85a1b95f657fb49b27f can be found [here](https://pr-docs.tlcpack.ai/PR-12609/6/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