From acae144902431631dc23f872e7f8e1348f66aef2 Mon Sep 17 00:00:00 2001
From: "Daniel A. A. Pelsmaeker" <developer@pelsmaeker.net>
Date: Mon, 29 Jul 2024 17:11:04 +0200
Subject: [PATCH] Also build develop branch

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c6b44162e..f45b74634 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,6 @@
 @Library('metaborg.jenkins.pipeline') _
 
 gradlePipeline(
-  buildDevelopBranch: false,
   buildOtherBranch: false,
   buildTag: false,
   gradleParallel: false,