[GitHub] [tvm] areusch commented on a change in pull request #9031: [CI] Prevent the complete Jenkins pipeline to run when files commited only to `/docs`

areusch commented on a change in pull request #9031: URL: https://github.com/apache/tvm/pull/9031#discussion_r717009636 ## File path: Jenkinsfile ## @@ -148,11 +149,15 @@ stage('Prepare') { } } -stage("Sanity Check") { +stage('Sanity Check') { timeout(time: max_time, u

[GitHub] [tvm] areusch commented on a change in pull request #9031: [CI] Prevent the complete Jenkins pipeline to run when files commited only to `/docs`

areusch commented on a change in pull request #9031: URL: https://github.com/apache/tvm/pull/9031#discussion_r717009636 ## File path: Jenkinsfile ## @@ -148,11 +149,15 @@ stage('Prepare') { } } -stage("Sanity Check") { +stage('Sanity Check') { timeout(time: max_time, u

[GitHub] [tvm] areusch commented on a change in pull request #9031: [CI] Prevent the complete Jenkins pipeline to run when files commited only to `/docs`

areusch commented on a change in pull request #9031: URL: https://github.com/apache/tvm/pull/9031#discussion_r711223304 ## File path: tests/scripts/git_check_tree.sh ## @@ -0,0 +1,40 @@ +#!/usr/bin/env bash + +# Licensed to the Apache Software Foundation (ASF) under one +# or m