From 8b66dc40e93b648010b07d730b90daa33c48eb4e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 25 Nov 2020 18:40:35 +0100
Subject: tmp deactivation test-suite

---
 azure-pipelines.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 11f225bdb6..809b6f87a9 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -90,11 +90,11 @@ jobs:
       make -j "$NJOBS"
     displayName: 'Build Coq'
 
-  - script: |
-      eval $(opam env)
-      export OCAMLPATH=$(pwd):"$OCAMLPATH"
-      make -j "$NJOBS" test-suite PRINT_LOGS=1
-    displayName: 'Run Coq Test Suite'
+#  - script: |
+#      eval $(opam env)
+#      export OCAMLPATH=$(pwd):"$OCAMLPATH"
+#      make -j "$NJOBS" test-suite PRINT_LOGS=1
+#    displayName: 'Run Coq Test Suite'
 
   - script: |
       make install
-- 
cgit v1.2.3