[CI] Remove topi from the CI cache (#6188)
authorTianqi Chen <tqchen@users.noreply.github.com>
Sun, 2 Aug 2020 20:39:50 +0000 (13:39 -0700)
committerGitHub <noreply@github.com>
Sun, 2 Aug 2020 20:39:50 +0000 (13:39 -0700)
commit67595e3db928ca547337f0ec226b22961c93b869
treee818a40bd0574b512ce9de0aadba6d90262551b0
parent0a4ee30da727ae1566a0541ba6ed726d48733cc7
[CI] Remove topi from the CI cache (#6188)
Jenkinsfile