From 55f3d26dd02c7bf97245cfac671d8d7814274bcf Mon Sep 17 00:00:00 2001 From: joan Date: Mon, 14 Nov 2022 12:02:50 +0100 Subject: [PATCH] Trigger jenkins build --- Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 4a1f9ba54..b1706d802 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,4 @@ #!/usr/bin/env groovy - pipeline { agent any options {