diff options
author | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-31 15:56:09 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-31 16:25:56 +0200 |
commit | 7c1b6714fe73c6cd8685bccef58eb6839a57fcb9 (patch) | |
tree | ae5b1ef3301c64ca031f0391ba730cf03fafc07b /.gitlab-ci.yml | |
parent | 6b4a57051a470436b50d53e7395ec44b52e2dc7e (diff) |
[travis] print failing test suite logs on failure
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3b1ea0d1f..a6a27194a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -104,13 +104,11 @@ before_script: - make clean # careful with the ending / - make -j ${NJOBS} BIN=$(readlink -f ../install/bin)/ LIB=$(readlink -f ../install/lib/coq)/ all - after_script: - - test-suite/save-logs.sh artifacts: name: "$CI_JOB_NAME.logs" when: on_failure paths: - - logs + - test-suite/logs .validate-template: &validate-template stage: test |