From a848c48cf90c7c8df85065d9b599668e56dd29ce Mon Sep 17 00:00:00 2001
From: laskau <laskau@users.noreply.github.com>
Date: Fri, 26 Apr 2019 11:07:45 +0200
Subject: [PATCH] 3

---
 Jenkinsfile | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cb009ed..d599374 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,14 +1,13 @@
 pipeline {
     agent any
     stages {
-        stage('Copy Archive') {
-         steps {
-             script {
-                 step ([$class: 'CopyArtifact',
-                 projectName: 'ASR-eval',
-                 target: 'Infra'
+         stage('Copy Archive') {
+             steps {
+                 script {
+                     step ([$class: 'CopyArtifact',
+                     projectName: 'ASR-eval',
+                     target: 'Infra']);
+                 }
              }
          }
-        }
-    }
 }
\ No newline at end of file