From 388514a52c7f22f35e82073d7e35693f6166b235 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 071bb8a32bfd..1b28364a255f 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