diff --git a/Jenkinsfile b/Jenkinsfile index 92d9e535963d8..1b536acdfcf5b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -44,7 +44,7 @@ // - ci-cpu:v0.55: 07b45d958d4af91ec1bab66f6cf391d1ce12ddaf // -ci_lint = "tvmai/ci-lint:v0.51" +ci_lint = "tvmai/ci-lint:v0.60" ci_gpu = "tvmai/ci-gpu:v0.60" ci_cpu = "tvmai/ci-cpu:v0.55" ci_i386 = "tvmai/ci-i386:v0.52"