summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-11-06 10:24:13 +0800
committerLi Haoyi <haoyi.sg@gmail.com>2018-11-06 11:31:21 +0800
commitb30fad6aef587754c0bea66426b288050ebad6fa (patch)
tree39dbd817d8a7ab48c4b91b215cee87fdd518a476 /ci
parent902f8e01bc4b2eeac86c34526a7d454dbfc88556 (diff)
downloadmill-b30fad6aef587754c0bea66426b288050ebad6fa.tar.gz
mill-b30fad6aef587754c0bea66426b288050ebad6fa.tar.bz2
mill-b30fad6aef587754c0bea66426b288050ebad6fa.zip
0.3.4
Diffstat (limited to 'ci')
-rwxr-xr-xci/publish-docs.sh2
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