diff options
Diffstat (limited to 'ci/publish-docs.sh')
-rwxr-xr-x | ci/publish-docs.sh | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/ci/publish-docs.sh b/ci/publish-docs.sh index 044b2ff5..9b0acbde 100755 --- a/ci/publish-docs.sh +++ b/ci/publish-docs.sh @@ -2,8 +2,19 @@ set -eux -curl -L -o ~/bin/amm https://github.com/lihaoyi/Ammonite/releases/download/1.0.0/2.11-1.0.0 && chmod +x ~/bin/amm; fi +curl -L -o ~/bin/amm https://github.com/lihaoyi/Ammonite/releases/download/1.0.3/2.12-1.0.3 && chmod +x ~/bin/amm cd docs +echo $GITHUB_DEPLOY_KEY | base64 --decode > deploy_key + +eval "$(ssh-agent -s)" +chmod 600 deploy_key +ssh-add deploy_key +rm deploy_key + + +git config --global user.email "haoyi.sg+travis@gmail.com" +git config --global user.name "Ammonite Travis Bot" + amm build.sc --publish true
\ No newline at end of file |