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/03/04 19:32:34 UTC

[GitHub] [tvm] areusch commented on a change in pull request #10492: [skip ci][ci] hotfix Jenkinsfile to never skip CI on main

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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org