diff options
Diffstat (limited to 'ci/publish-docs.sh')
| -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 |