[gitlab] Artifact test suite logs on failure.

coq · May 30, 2017 · 6b4a570 · 6b4a570
1 parent fd36c04
commit 6b4a570
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git 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
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+
+WHERE="logs"
+
+rsync -a --from0 --files-from=<(find . -name '*.log' -print0) . "$WHERE"