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

7243a146 · Tianqi Chen · GitHub · b528acc1 · 7243a146
Unverified Commit 7243a146 authored Feb 08, 2020 by Tianqi Chen Committed by GitHub Feb 08, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

Jenkinsfile
+1 -1

No files found.
--- 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"