projects
/
platform
/
upstream
/
tvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0a4ee30
)
[CI] Remove topi from the CI cache (#6188)
author
Tianqi Chen
<tqchen@users.noreply.github.com>
Sun, 2 Aug 2020 20:39:50 +0000
(13:39 -0700)
committer
GitHub
<noreply@github.com>
Sun, 2 Aug 2020 20:39:50 +0000
(13:39 -0700)
Jenkinsfile
patch
|
blob
|
history
diff --git
a/Jenkinsfile
b/Jenkinsfile
index
9e599e8
..
12bee04
100644
(file)
--- 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