From 4d713d66d9b29cfef14800b95710e5c4ea91a4dd Mon Sep 17 00:00:00 2001 From: Tianqi Chen Date: Mon, 11 May 2020 18:43:47 -0700 Subject: [PATCH] [CI] Update ci-lint to use the latest image that contains clang-format (#5568) --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 486b04d..9280740 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -43,7 +43,7 @@ // // -ci_lint = "tvmai/ci-lint:v0.60" +ci_lint = "tvmai/ci-lint:v0.61" ci_gpu = "tvmai/ci-gpu:v0.63" ci_cpu = "tvmai/ci-cpu:v0.62" ci_wasm = "tvmai/ci-wasm:v0.60" -- 2.7.4