diff options
| author | Gaëtan Gilbert | 2018-12-13 11:18:12 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-13 11:18:12 +0100 |
| commit | 36e2015dca9ff803289e07a14cc020f8a2f0ac3f (patch) | |
| tree | a417042edce8f72e2e1db5b4afa7efdf5ed00720 /dev | |
| parent | 8b3ac60a8c596d7b74cb4b486709b3fcb419a495 (diff) | |
| parent | 99f41665413388b8a967971dcfe1dc30cd9667e0 (diff) | |
Merge PR #9217: [ci] [appveyor] Temporally disable test suite on Appveyor.
Diffstat (limited to 'dev')
| -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 |