diff --git a/Jenkinsfile b/Jenkinsfile index 08e275691d52faf36304b595f7e31523ad2b46d7..f55ec4a5b1825aa5af63f48c94959decedef8577 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,12 +45,13 @@ 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: '.' - } - sh 'echo after' + } + } + + stage('Upload') { + agent { label 'build-node4' } + sshagent(credentials: ['kieker-key']) { + sh 'sftp -i ${KEYSTORE} ${UPDATE_SITE_URL}' sh '${BASE_DIR}/compile-results/bin/compile-results "${BASE_DIR}/results-kieker/results-text.csv" "${BASE_DIR}/all-results.json"' } post {