From 64871fa96afd066c4d6e0503e6b8a6209fc7dd8f Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 31 Jan 2021 22:29:41 -0500
Subject: [PATCH] Fix syntax.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d229de9..1bf5ae8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -66,7 +66,7 @@ pipeline {
                    echo "#Build ${PIPELINE_BUILD_NUMBER},," > $ACTION_REPORT
                    echo "#StartTime ${date},," >> $ACTION_REPORT
                    echo "Project,Repo,Result" >> $ACTION_REPORT
-                   echo '<actions from="${ACTION_URL}">' > $ACTION_OUTPUT"
+                   echo '<actions from="${ACTION_URL}">' > $ACTION_OUTPUT
                    '''
             }
         }