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 809b6f87a9..11f225bdb6 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 |