1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml
index b6d1a9060a4..88bd901e6b3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -82,7 +82,9 @@ env:
 
 script:
   - >
-      if [ "$TRAVIS_OS_NAME" = "osx" ]; then
+      if [ "$ALLOW_PR" = "" ] && [ "$TRAVIS_BRANCH" != "auto" ]; then
+          echo skipping, not a full build;
+      elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
           travis_retry sh -c 'git submodule deinit -f . && git submodule update --init' &&
           src/ci/run.sh;
       else