From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 10:34:54 +0000 (+0000)
Subject: jenkins: Try to fetch a fresh Kerberos ticket
X-Git-Tag: 0.9.30~760
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=28b8d16569e950e0d49cb70dd133786b60cd1828;p=pakfire.git

jenkins: Try to fetch a fresh Kerberos ticket

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

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
 					}
 				}