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 | |
| parent | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (diff) | |
[gitlab] Artifact test suite logs on failure.
| -rw-r--r-- | .gitlab-ci.yml | 10 | ||||
| -rwxr-xr-x | test-suite/save-logs.sh | 5 |
2 files changed, 12 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 diff --git a/test-suite/save-logs.sh b/test-suite/save-logs.sh new file mode 100755 index 000000000..131bcf545 --- /dev/null +++ b/test-suite/save-logs.sh @@ -0,0 +1,5 @@ +#!/usr/bin/env bash + +WHERE="logs" + +rsync -a --from0 --files-from=<(find . -name '*.log' -print0) . "$WHERE" |