diff options
| -rw-r--r-- | azure-pipelines.yml | 10 |
1 files 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 |