driazati commented on PR #12644: URL: https://github.com/apache/tvm/pull/12644#issuecomment-1235047885
we can do it all in one PR, I'll push your changes to https://github.com/apache/tvm/tree/csinn_jenkins once updated so Jenkins will use your changed `Jenkinsfile` in another build check called `tvm-ci/branch`. So the one in `tvm-ci/pr-head` will just see a bunch of new files added and no real changes (which is fine here). -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
