summaryrefslogtreecommitdiff
path: root/ci/publish-docs.sh
blob: 869f2e8d9036aeb96021441e932c7d955b632d84 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/usr/bin/env bash

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

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