[CI] Update deps for chisel (#4675)
authorTianqi Chen <tqchen@users.noreply.github.com>
Fri, 10 Jan 2020 18:29:44 +0000 (10:29 -0800)
committerGitHub <noreply@github.com>
Fri, 10 Jan 2020 18:29:44 +0000 (10:29 -0800)
commit07b45d958d4af91ec1bab66f6cf391d1ce12ddaf
tree03c9fc24ce19472ae056d7d2115fe5fe520dc6e7
parent54fb55a130e74375608b805658d1505554ba80f7
[CI] Update deps for chisel (#4675)
docker/install/ubuntu_install_chisel.sh