From 0f3843237965ace50b0992dac3b1c996d2d83c78 Mon Sep 17 00:00:00 2001
From: "Daniel A. A. Pelsmaeker" <developer@pelsmaeker.net>
Date: Fri, 24 May 2024 17:11:32 +0200
Subject: [PATCH] Use shared jenkinsfile default (master) branch

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 158394eb4..c6b44162e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 #!groovy
-@Library('metaborg.jenkins.pipeline@develop') _
+@Library('metaborg.jenkins.pipeline') _
 
 gradlePipeline(
   buildDevelopBranch: false,