Use shared jenkinsfile default (master) branch

Virtlink · Virtlink · commit dec4c57e1ada · 2024-05-24T17:10:37.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,4 @@
 #!groovy
-@Library('metaborg.jenkins.pipeline@develop') _
+@Library('metaborg.jenkins.pipeline') _
 
 gradlePipeline(slack: true, slackChannel: "#spoofax3-dev")
