[CI] Update ci-lint to v0.60 (#4850)

diff --git a/Jenkinsfile b/Jenkinsfile
index e65f73e..0230a1a 100644 (file)
--- 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"