From f48fbfc448c8661b4bf27990fdecd4a97d08485d Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 29 Sep 2022 15:56:47 +0200
Subject: [PATCH] add FilePath import

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1979956..8ffdb1d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,8 @@
 import groovy.io.FileType
 import static groovy.io.FileType.FILES
 import jenkins.model.*
+import hudson.FilePath;
+import jenkins.model.Jenkins;
 
 /**
  * Deploy components to the D4Science Infrastructure (dev-only)