From 67595e3db928ca547337f0ec226b22961c93b869 Mon Sep 17 00:00:00 2001 From: Tianqi Chen Date: Sun, 2 Aug 2020 13:39:50 -0700 Subject: [PATCH] [CI] Remove topi from the CI cache (#6188) --- Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 9e599e8..12bee04 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -56,7 +56,6 @@ tvm_lib = "build/libtvm.so, " + tvm_runtime tvm_multilib = "build/libtvm.so, " + "build/libvta_tsim.so, " + "build/libvta_fsim.so, " + - "build/libtvm_topi.so, " + tvm_runtime // command to start a docker container -- 2.7.4