From b127dc76e7f64fd104708a25857ccfa8e58d80de Mon Sep 17 00:00:00 2001 From: Tianqi Chen Date: Thu, 14 Nov 2019 09:15:45 -0800 Subject: [PATCH] change ci image version (#4313) --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 044da4c..94ccc94 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,7 +45,7 @@ // ci_lint = "tvmai/ci-lint:v0.51" -ci_gpu = "tvmai/ci-gpu:v0.55" +ci_gpu = "tvmai/ci-gpu:v0.56" ci_cpu = "tvmai/ci-cpu:v0.54" ci_i386 = "tvmai/ci-i386:v0.52" -- 2.7.4