From 22b120c841710a6bafc6561518029bf1d2b26baa Mon Sep 17 00:00:00 2001 From: tqchen Date: Sun, 2 Aug 2020 09:39:16 -0700 Subject: [PATCH] [CI] Remove topi from the CI cache --- Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 9e599e86018c..12bee046e8a3 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