From cfb7ebdc04c457ff2dbd752d68be6f223a56e9ee Mon Sep 17 00:00:00 2001 From: apostolof Date: Sat, 13 Feb 2021 19:31:31 +0200 Subject: [PATCH] ci: force --- jenkins/Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 833a5ba..7c301c3 100755 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -758,4 +758,3 @@ pipeline { } } } -