CI: archive detailed.log

diff --git a/Jenkinsfile b/Jenkinsfile
index 81ad227897e467642496e59dc9d997ec0e074e9c..48064a8afb4f91e8f2f28417da89ebd421a4525b 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -101,6 +101,8 @@ pipeline
             always {
               sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/serial.xml || true"
               xunit tools: [CTest(pattern: '*.xml')]
+              sh "cp /home/dealii/build/detailed.log $WORKSPACE/detailed-serial.log || true"
+              archiveArtifacts artifacts: 'detailed-serial.log', fingerprint: true
             }
 
             cleanup {
@@ -120,7 +122,6 @@ pipeline
             sh '''#!/bin/bash
                export NP=`grep -c ^processor /proc/cpuinfo`
                export TEST_TIME_LIMIT=1200
-               echo $NP
                mkdir -p /home/dealii/build
                cd /home/dealii/build
                cmake -G "Ninja" \
@@ -152,6 +153,8 @@ pipeline
             always {
               sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/mpi.xml || true"
               xunit tools: [CTest(pattern: '*.xml')]
+              sh "cp /home/dealii/build/detailed.log $WORKSPACE/detailed-mpi.log || true"
+              archiveArtifacts artifacts: 'detailed-mpi.log', fingerprint: true
             }
 
             cleanup {

diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index b9c556d55d02fabe0e01f12768c39a231f0e8066..5ba9af45ec27449feff512d05ea9ac17cfe5f987 100644 (file)
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -100,6 +100,10 @@ pipeline
 
           post
           {
+            always
+           {
+              archiveArtifacts artifacts: '$WORKSPACE/build/detailed.log', fingerprint: true
+            }
             failure
             {
               githubNotify context: 'OSX', description: 'build failed',  status: 'FAILURE'