From fb22ef0fb2c878e4308bcb43fcf9d12b4ab91042 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 12 Apr 2018 18:32:20 +0200
Subject: [PATCH] chore(.appveyor,.travis): disable leanpkg registry tests

---
 .appveyor.yml | 22 +++++++++++-----------
 .travis.yml   | 16 ++++++++--------
 2 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/.appveyor.yml b/.appveyor.yml
index 4e3732214e..7423438e68 100644
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -33,17 +33,17 @@ build_script:
 
 test_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
-  # don't test packages when building nightly
-  - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/packages &&
-      if [[ ! -f ../build/nightly.sh ]]; then
-        ../bin/leanpkg configure &&
-        for d in _target/deps/*; do (cd $d; ../../../../bin/leanpkg test || exit 1); done;
-      fi"
-  - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER &&
-      if [[ $UPLOAD == ON && $GH_TOKEN && $APPVEYOR_BRANCH == master ]]; then
-        . build/nightly.sh &&
-        bash script/deploy_nightly.sh build/lean-*-windows.zip;
-      fi"
+  # # don't test packages when building nightly
+  # - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/packages &&
+  #     if [[ ! -f ../build/nightly.sh ]]; then
+  #       ../bin/leanpkg configure &&
+  #       for d in _target/deps/*; do (cd $d; ../../../../bin/leanpkg test || exit 1); done;
+  #     fi"
+  # - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER &&
+  #     if [[ $UPLOAD == ON && $GH_TOKEN && $APPVEYOR_BRANCH == master ]]; then
+  #       . build/nightly.sh &&
+  #       bash script/deploy_nightly.sh build/lean-*-windows.zip;
+  #     fi"
 
 artifacts:
   - path: build\lean-*-windows.zip
diff --git a/.travis.yml b/.travis.yml
index 3f96c27c47..547b82dc9a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -134,14 +134,14 @@ script:
           ../src
   - make -j2
   - if [[ $TEST != OFF ]]; then yes "A" | travis_wait 60 ctest -j2 --output-on-failure; fi
-  - |
-    # 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
-       for d in _target/deps/*; do (cd $d; ../../../../bin/leanpkg test); done)
-    fi
+  # - |
+  #   # 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
+  #      for d in _target/deps/*; do (cd $d; ../../../../bin/leanpkg test); done)
+  #   fi
   - if [[ $UPLOAD == ON ]]; then cpack; fi
   - if [[ $UPLOAD == ON && $GH_TOKEN && $TRAVIS_PULL_REQUEST == false && $TRAVIS_BRANCH == master ]]; then (cd ..; bash script/deploy_nightly.sh build/lean-*); fi
   - cd ..