diff options
author | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-30 15:24:31 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-05-30 20:21:35 +0200 |
commit | 6b4a57051a470436b50d53e7395ec44b52e2dc7e (patch) | |
tree | e30d98e93a368d91e535417679e43e96a7e16954 /.gitlab-ci.yml | |
parent | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (diff) |
[gitlab] Artifact test suite logs on failure.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9ba39abdb..3b1ea0d1f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -100,13 +100,17 @@ before_script: .test-suite-template: &test-suite-template stage: test script: - - set -e - cd test-suite - make clean # careful with the ending / - make -j ${NJOBS} BIN=$(readlink -f ../install/bin)/ LIB=$(readlink -f ../install/lib/coq)/ all - - cat summary.log - - set +e + after_script: + - test-suite/save-logs.sh + artifacts: + name: "$CI_JOB_NAME.logs" + when: on_failure + paths: + - logs .validate-template: &validate-template stage: test |