From 28b8d16569e950e0d49cb70dd133786b60cd1828 Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 10:34:54 +0000
Subject: [PATCH] jenkins: Try to fetch a fresh Kerberos ticket

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index eae24d898..b299c1201 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -454,6 +454,9 @@ pipeline {
 						// Upload everything again
 						archiveArtifacts artifacts: "packages/debian/**/*"
 
+						// Fetch a Kerberos ticket
+						sh "kinit -kV"
+
 						// XXX This needs to be published on a mirror server somewhere
 					}
 				}
-- 
2.39.5