From d032eae7920c4f63f8af99e657caa0fcb8e6ffe8 Mon Sep 17 00:00:00 2001
From: Boris Baldassari <boris.baldassari@gmail.com>
Date: Fri, 18 Dec 2020 13:40:28 +0100
Subject: [PATCH] Add generated directories to archiving.
---
JenkinsfileGet | 1 +
1 file changed, 1 insertion(+)
diff --git a/JenkinsfileGet b/JenkinsfileGet
index 28651f9..7999903 100644
--- a/JenkinsfileGet
+++ b/JenkinsfileGet
@@ -42,6 +42,7 @@ pipeline {
}
stage('Archiving') {
steps {
+ archiveArtifacts artifacts: 'datasets/**/_files/**/*.*', fingerprint: true
archiveArtifacts artifacts: 'datasets/**/*.gz', fingerprint: true
archiveArtifacts artifacts: 'datasets/**/*.html', fingerprint: true
archiveArtifacts artifacts: 'datasets/**/*.pdf', fingerprint: true
--
GitLab