blob: 37fbb6d2568d843b6e706621a6565dc5b8f56e9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
if [ $TRAVIS_EVENT_TYPE != "push" -o $TRAVIS_BRANCH != "master" ]; then
echo This job is not running against a commit that has been merged to master.
echo Skipping deployment.
exit 0
fi
openssl aes-256-cbc \
-K $encrypted_7b3e5998334d_key \
-iv $encrypted_7b3e5998334d_iv \
-in github-deploy-key.enc \
-out github-deploy-key \
-d
chmod 600 github-deploy-key
eval "$(ssh-agent -s)"
ssh-add github-deploy-key
rm github-deploy-key
git config --global user.email "test262@ecma-international.org"
git config --global user.name "Test262 Automation Script"
# The repository on TravisCI is a shallow clone, so the `master` branch must
# be retrieved explicitly, and a local branch created from the `FETCH_HEAD`
# git reference
git fetch origin master
git branch master FETCH_HEAD
./make.py deploy
|