From 2e4f3972a93ed48f8d819d05d972f6bc3b0d305e Mon Sep 17 00:00:00 2001
From: William Petit <wpetit@cadoles.com>
Date: Mon, 25 Aug 2025 11:22:54 +0200
Subject: [PATCH] ci: remove develop branch ref

---
 Jenkinsfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d43dbca..6b35426 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,7 +33,6 @@ pipeline {
             when {
                 anyOf {
                     branch 'master'
-                    branch 'develop'
                 }
             }
             steps {
@@ -55,7 +54,6 @@ pipeline {
             when {
                 anyOf {
                     branch 'master'
-                    branch 'develop'
                 }
             }
             steps {