From 32875d5863f5a0aa5ec1b5341823df8dfab0fe57 Mon Sep 17 00:00:00 2001
From: vloncar <vloncar@users.noreply.github.com>
Date: Mon, 15 Oct 2018 11:22:27 +0200
Subject: [PATCH] Record reports as artifacts in Jenkins

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7ff035f304..952f264314 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,7 @@ pipeline {
     }
   }
   options {
-    timeout(time: 3, unit: 'HOURS')
+    timeout(time: 6, unit: 'HOURS')
   }
 
   stages {
@@ -110,9 +110,9 @@ pipeline {
       steps {
         dir(path: 'test') {
           sh '''#!/bin/bash
-             ./gather-reports.sh -b'''
+             ./gather-reports.sh -b | tee report.rpt'''
         }
-
+        archiveArtifacts artifacts: 'test/report.rpt', fingerprint: true
       }
     }
   }