diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-11-06 10:24:13 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-11-06 11:31:21 +0800 |
commit | b30fad6aef587754c0bea66426b288050ebad6fa (patch) | |
tree | 39dbd817d8a7ab48c4b91b215cee87fdd518a476 /ci | |
parent | 902f8e01bc4b2eeac86c34526a7d454dbfc88556 (diff) | |
download | mill-b30fad6aef587754c0bea66426b288050ebad6fa.tar.gz mill-b30fad6aef587754c0bea66426b288050ebad6fa.tar.bz2 mill-b30fad6aef587754c0bea66426b288050ebad6fa.zip |
0.3.4
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/publish-docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/publish-docs.sh b/ci/publish-docs.sh index 869f2e8d..2675d6f5 100755 --- a/ci/publish-docs.sh +++ b/ci/publish-docs.sh @@ -2,7 +2,7 @@ set -eux -curl -L -o ~/bin/amm https://github.com/lihaoyi/Ammonite/releases/download/1.1.0/2.12-1.1.0 && chmod +x ~/bin/amm +curl -L -o ~/bin/amm https://github.com/lihaoyi/Ammonite/releases/download/1.4.0/2.12-1.4.0 && chmod +x ~/bin/amm cd docs |