diff options
| author | Emilio Jesus Gallego Arias | 2018-12-13 01:36:26 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-13 01:36:26 +0100 |
| commit | 99f41665413388b8a967971dcfe1dc30cd9667e0 (patch) | |
| tree | ce90e45debe3dfdb79ad446ed398059ef51a2d86 /dev/ci | |
| parent | 4ecbad30c77316294c8625ead722d469c1c7f79d (diff) | |
[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.
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/appveyor.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |