areusch commented on a change in pull request #10492:
URL: https://github.com/apache/tvm/pull/10492#discussion_r819853448
##########
File path: Jenkinsfile
##########
@@ -132,6 +132,10 @@ def cancel_previous_build() {
}
def should_skip_ci(pr_number) {
+ if (env.BRANCH_NAME == 'main' || env.BRANCH_NAME == 'ci-docker-staging') {
Review comment:
it seems like we should never skip ci when doing any branch build, no?
can we test for that instead?
--
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]
