From 99f41665413388b8a967971dcfe1dc30cd9667e0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 13 Dec 2018 01:36:26 +0100
Subject: [ci] [appveyor] Temporally disable test suite on Appveyor.

Hopefully we will re-enable it back soon, I am preparing a refactoring
that should make it more robust w.r.t paths and changes on Windows
which will enable to use a faster build system.

But now it is timing out 100% of the times [due to #8655] so it is not
useful.
---
 dev/ci/appveyor.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/ci/appveyor.sh b/dev/ci/appveyor.sh
index cda369fb1b..470d07b27d 100644
--- a/dev/ci/appveyor.sh
+++ b/dev/ci/appveyor.sh
@@ -13,4 +13,4 @@ eval "$(opam env)"
 opam install -y num ocamlfind ounit
 
 # Full regular Coq Build
-cd "$APPVEYOR_BUILD_FOLDER" && ./configure -local && make && make byte && make -C test-suite all INTERACTIVE= # && make validate
+cd "$APPVEYOR_BUILD_FOLDER" && ./configure -local && make && make byte # && make -C test-suite all INTERACTIVE= # && make validate
-- 
cgit v1.2.3