From b3c3b908bacde1cdd4b9a2a0dd34f98d0477cdc5 Mon Sep 17 00:00:00 2001 From: apostolof Date: Sat, 13 Feb 2021 18:29:34 +0200 Subject: [PATCH] ci: force --- jenkins/Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 424c05d..de6ab32 100755 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -756,4 +756,3 @@ pipeline { } } } -