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