From e1b28b891df3845b437384478dbbe4a3fe444525 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Tue, 3 Dec 2024 18:39:13 +0000 Subject: [PATCH] jenkins: Give the uploaded files a handle Signed-off-by: Michael Tremer --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 49f318614..044ebbaa6 100644 --- 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 } -- 2.39.5