aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorGravatar Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr>2017-05-31 15:56:09 +0200
committerGravatar Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr>2017-05-31 16:25:56 +0200
commit7c1b6714fe73c6cd8685bccef58eb6839a57fcb9 (patch)
treeae5b1ef3301c64ca031f0391ba730cf03fafc07b /.gitlab-ci.yml
parent6b4a57051a470436b50d53e7395ec44b52e2dc7e (diff)
[travis] print failing test suite logs on failure
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml4
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