diff options
| author | coqbot-app[bot] | 2020-11-27 08:19:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-27 08:19:04 +0000 |
| commit | c294664df8e9190a2fbb6153c70c208f58c7db70 (patch) | |
| tree | d2711e5a18bbfca1c4633582afc37b2141e27489 | |
| parent | 7f3c46acc937eb9257c29b5881e5a8b17b28cd48 (diff) | |
| parent | 405e63c69f8cc00c7edcc07599fcd5abd44024ba (diff) | |
Merge PR #13491: Reactivate test-suite on MacOS X, accidently merged in #13476
Reviewed-by: gares
| -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 |