script fixes
This commit is contained in:
parent
e457cd9c26
commit
0c7992cdf5
@ -43,10 +43,10 @@ script:
|
|||||||
- set +e
|
- set +e
|
||||||
|
|
||||||
after_success: |
|
after_success: |
|
||||||
|
#!/bin/bash
|
||||||
if [ $(uname) == Linux ]; then
|
if [ $(uname) == Linux ]; then
|
||||||
./.github/deploy.sh
|
./.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
|
|
||||||
set -e
|
set -e
|
||||||
if [ "$TRAVIS_PULL_REQUEST" == "false" ] &&
|
if [ "$TRAVIS_PULL_REQUEST" == "false" ] &&
|
||||||
[ "$TRAVIS_REPO_SLUG" == "Manishearth/rust-clippy" ] &&
|
[ "$TRAVIS_REPO_SLUG" == "Manishearth/rust-clippy" ] &&
|
||||||
|
Loading…
Reference in New Issue
Block a user