From d810e56c7e24344f6fae29874d98898008ad52b9 Mon Sep 17 00:00:00 2001
From: Philipp Spilger <philipp.spilger@kip.uni-heidelberg.de>
Date: Mon, 26 Feb 2024 11:03:26 +0100
Subject: [PATCH] fix: Jenkinsfile for stable builds
Change-Id: I98f1b34ae65e2ff815eca8c32e5256501d042c43
---
.ci/Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index f47d7bcd..e499b3e8 100755
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -231,5 +231,5 @@ pipeline {
}
String get_build_cache_on_failure_name() {
- return (CONTAINER_BUILD_TYPE == "testing" ? "c${GERRIT_CHANGE_NUMBER}p${GERRIT_PATCHSET_NUMBER}" : jesh("echo 'stable_\$(date --iso)'", returnStdout: true))
+ return (CONTAINER_BUILD_TYPE == "testing" ? "c${GERRIT_CHANGE_NUMBER}p${GERRIT_PATCHSET_NUMBER}" : jesh(script: "echo 'stable_\$(date --iso)'", returnStdout: true))
}
--
GitLab