jenkins: Give the uploaded files a handle

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index 49f318614635d74702c210c6a7aa50aca1c3e8c6..044ebbaa6b19780da357460cb399feb5c4304cf0 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -409,7 +409,8 @@ pipeline {
                                                }
 
                                                // Upload everything again
-                                               archiveArtifacts artifacts: "dists/**/*, pool/**/*"
+                                               archiveArtifacts artifacts: "dists/**/*, pool/**/*",
+                                                       name: "debian-repo"
 
                                                // XXX This needs to be published on a mirror server somewhere
                                        }