tmp deactivation test-suite

coq · Nov 25, 2020 · 8b66dc4 · 8b66dc4
1 parent 7020c7c
commit 8b66dc4
Showing 1 changed file with 5 additions and 5 deletions.
diff --git 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