From 6ea001f0f61ac86e42cc44c5fb5c6c3032f7a884 Mon Sep 17 00:00:00 2001
From: "roberto.cirillo" <roberto.cirillo@isti.cnr.it>
Date: Fri, 9 Sep 2022 12:35:22 +0200
Subject: [PATCH] add import FileType.FILES

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 66b6e31..96bb4fc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,6 @@
 #!groovy
 import groovy.io.FileType
+import static groovy.io.FileType.FILES
 /**
  * Deploy components to the D4Science Infrastructure (dev-only)
  *