diff options
| author | Hugo Herbelin | 2020-11-25 18:40:35 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-25 18:40:35 +0100 |
| commit | 8b66dc40e93b648010b07d730b90daa33c48eb4e (patch) | |
| tree | fc6ee5aec226c5c74d60d22326e6e6b4f356cb02 | |
| parent | 7020c7cf44200ceffd3f2cbb393c51e1fa583e62 (diff) | |
tmp deactivation test-suite
| -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 |