From 43b75f6919670dacb7ec0c2a60beaaa085688793 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Fri, 15 Apr 2022 14:53:46 +0200
Subject: [PATCH] fix sintax

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 057152f..629bbbb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,4 @@
 pipeline {
-
     agent {
         label 'CD'
 //        triggers {