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/09/29 13:19:26 UTC

[GitHub] [tvm] gigiblender opened a new pull request, #12940: [ci] Separate the ci scripts into Github and Jenkins scripts

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

   This PR separates the files in the `ci/scripts` directory into `ci/scripts/jenkins` and `ci/scripts/github`. This is done because the `github` scripts should not be protected in the CI. #12604


-- 
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