From db5208eec9229cf6ccedc358ee97233a1d00a4eb Mon Sep 17 00:00:00 2001 From: apostolof Date: Wed, 17 Feb 2021 23:55:06 +0200 Subject: [PATCH] ci: force --- jenkins/Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index b3ef8c0..995d3e3 100755 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -760,3 +760,4 @@ pipeline { } } } +