diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-04 17:38:32 -0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-04 17:49:11 -0800 |
commit | ed389ac2d482ed6e103b7fd3e3fe840660223126 (patch) | |
tree | f83425b391dffc67f982dcaa17deeae64e77eef2 /ci | |
parent | 593d9f94794e6db8040e7082ba50a24d86c4cc06 (diff) | |
download | mill-ed389ac2d482ed6e103b7fd3e3fe840660223126.tar.gz mill-ed389ac2d482ed6e103b7fd3e3fe840660223126.tar.bz2 mill-ed389ac2d482ed6e103b7fd3e3fe840660223126.zip |
add upstream dependencies to ivy.xml
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/test4.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ci/test4.sh b/ci/test4.sh index 2a8b1497..52fc053d 100755 --- a/ci/test4.sh +++ b/ci/test4.sh @@ -2,9 +2,6 @@ set -eux -# Force travis to create a git HEAD otherwise common operations don't work -git checkout -B current - # Starting from scratch... git clean -xdf |