Use shared jenkinsfile default (master) branch

metaborg · May 24, 2024 · 2634ef8 · 2634ef8
1 parent 5cfc0dd
commit 2634ef8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 #!groovy
-@Library('metaborg.jenkins.pipeline@develop') _
+@Library('metaborg.jenkins.pipeline') _
 
 gradlePipeline(
   buildOtherBranch: false,