diff options
| -rw-r--r-- | azure-pipelines.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index e76614a0cf..305c6a627e 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -56,6 +56,7 @@ jobs: MACOSX_DEPLOYMENT_TARGET: '10.11' steps: + - checkout: self fetchDepth: 10 @@ -97,6 +98,7 @@ jobs: - script: | eval $(opam env) + export OCAMLPATH=$(pwd):"$OCAMLPATH" make -j "$NJOBS" test-suite PRINT_LOGS=1 displayName: 'Run Coq Test Suite' |