Add deploy.sh to travis.toml

This commit is contained in:
mcarton 2016-07-19 21:51:51 +02:00
parent 01c61a714b
commit b7df2f8732
No known key found for this signature in database
GPG key ID: 5E427C794CBA45E8

View file

@ -26,6 +26,7 @@ script:
- cd clippy_lints && PATH=$PATH:~/rust/cargo/bin cargo clippy -- -D clippy && cd .. - cd clippy_lints && PATH=$PATH:~/rust/cargo/bin cargo clippy -- -D clippy && cd ..
after_success: after_success:
- ./.github/deploy.sh
# trigger rebuild of the clippy-service, to keep it up to date with clippy itself # trigger rebuild of the clippy-service, to keep it up to date with clippy itself
- | - |
#!/bin/bash #!/bin/bash
@ -46,11 +47,3 @@ after_success:
else else
echo "Ignored" echo "Ignored"
fi fi
- |
if [ "$TRAVIS_PULL_REQUEST" == "false" ] &&
[ "$TRAVIS_REPO_SLUG" == "Manishearth/rust-clippy" ] &&
[ "$TRAVIS_BRANCH" == "master" ] ; then
python util/export.py
fi