From 4b592af81e886d1bf848d8751fc02428e06c6b20 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 28 Nov 2020 12:40:39 +0100
Subject: [PATCH] Hmm

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4994c11..e2e9089 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -45,10 +45,12 @@ pipeline {
     stage('Run Benchmark') {
        steps {
           sh '${BASE_DIR}/run-benchmark.sh ${KEYSTORE} ${UPDATE_SITE_URL}'
+          sh 'echo before'
           script {
              def remote = [name: 'repo.se.internal', host: 'repo.se.internal', user: 'repo', identityFile: ${KEYSTORE}, allowAnyHosts: true]
              sshGet remote: remote, from: 'all-results.json', into: '${BASE_DIR}'
           }
+          sh 'echo after'
           sh '${BASE_DIR}/compile-results/bin/compile-results "${BASE_DIR}/results-kieker/results-text.csv" "${BASE_DIR}/all-results.json"'
        }
        post {
-- 
GitLab