From 0e09e7b419fca1da345561c0b96ba8979e1544e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Sun, 15 Jul 2018 09:45:31 -0400 Subject: [PATCH] also update repository via api --- ci/deploy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/deploy.sh b/ci/deploy.sh index 292fd935c..7a8b15d79 100755 --- a/ci/deploy.sh +++ b/ci/deploy.sh @@ -26,7 +26,7 @@ fi nix-build # Pull requests and commits to other branches shouldn't try to deploy, just build to verify -if [[ "$TRAVIS_EVENT_TYPE" != "cron" ]]; then +if [[ "$TRAVIS_EVENT_TYPE" != "cron" ]] || [[ "$TRAVIS_EVENT_TYPE" != "api" ]]; then echo "Skipping deploy; just doing a build." exit 0 fi