diff options
| author | Hugo Herbelin | 2020-11-26 21:44:30 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-26 21:44:30 +0100 |
| commit | 405e63c69f8cc00c7edcc07599fcd5abd44024ba (patch) | |
| tree | d2711e5a18bbfca1c4633582afc37b2141e27489 | |
| parent | 7f3c46acc937eb9257c29b5881e5a8b17b28cd48 (diff) | |
Reactivate test-suite on MacOS X, accidently merged in #13476.
| -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 |