From ef63f3e4d2e245403958f35eef71de4e5eb4ab04 Mon Sep 17 00:00:00 2001 From: Tianqi Chen Date: Sat, 8 Feb 2020 21:42:36 -0800 Subject: [PATCH] [CI] Update ci-lint to v0.60 (#4850) --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"