Remove clippy-service update from CI

clippy-service hasn't been working for a long time now.
This commit is contained in:
Philipp Hansch 2018-09-02 13:20:30 +02:00
parent 9d0b79d392
commit 9bfe528531
No known key found for this signature in database
GPG key ID: B6FA06A6E0E2665B

View file

@ -73,20 +73,5 @@ after_success: |
else
echo "Not deploying, because we're in an integration test run"
fi
# trigger rebuild of the clippy-service, to keep it up to date with clippy itself
if [ "$TRAVIS_PULL_REQUEST" == "false" ] &&
[ "$TRAVIS_REPO_SLUG" == "Manishearth/rust-clippy" ] &&
[ "$TRAVIS_BRANCH" == "master" ] &&
[ "$TRAVIS_TOKEN_CLIPPY_SERVICE" != "" ] ; then
curl -s -X POST \
-H "Content-Type: application/json" \
-H "Accept: application/json" \
-H "Travis-API-Version: 3" \
-H "Authorization: token $TRAVIS_TOKEN_CLIPPY_SERVICE" \
-d "{ \"request\": { \"branch\":\"master\" }}" \
https://api.travis-ci.org/repo/gnunicorn%2Fclippy-service/requests
else
echo "Ignored"
fi
set +e
fi