From c4cc8c88c08d86cd902c577de09ef69528c2da36 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 11 Mar 2018 21:59:19 +0100
Subject: [PATCH] chore(.travis.yml): don't test packages when building nightly

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index d249c3a7fb..c8e98839be 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -132,7 +132,8 @@ script:
   - make -j2
   - if [[ $TEST != OFF ]]; then yes "A" | travis_wait 60 ctest -j2 --output-on-failure; fi
   - |
-    if [[ $TEST_LEANPKG_REGISTRY == ON ]]; then
+    # don't test packages when building nightly
+    if [[ $TEST_LEANPKG_REGISTRY == ON && -z $LEAN_VERSION_STRING ]]; then
       (cd ../packages
        if [[ $TRAVIS_OS_NAME == linux ]]; then ../bin/leanpkg add "https://github.com/leanprover/smt2_interface"; fi
        ../bin/leanpkg configure