From 2a9628c3d7dfd87d96308a1b1ed757fb5941104a Mon Sep 17 00:00:00 2001 From: tqchen Date: Mon, 11 Nov 2019 10:29:41 -0800 Subject: [PATCH] change ci image version --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5426cb5ab500..8bc4cbe4d990 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"