diff options
| author | Vincent Laporte | 2019-04-03 12:00:57 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-15 12:17:40 +0000 |
| commit | 9cfc7511daac15d7e5700f6cb0419ca6b67543c9 (patch) | |
| tree | 17b35a05e7c204f03b8a692899db9840ae0f458b | |
| parent | 4b9119d8090e366ecd2e803ad30a9dd839bc8ec9 (diff) | |
[CI] Print test-suite log on failure (macOS/Azure)
| -rw-r--r-- | azure-pipelines.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index a8b42cc722..95385b7447 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -74,5 +74,5 @@ jobs: - script: | eval $(opam env) - make -j "$NJOBS" test-suite + make -j "$NJOBS" test-suite PRINT_LOGS=1 displayName: 'Run Coq Test Suite' |