Build PIE using Jenkins

metaborg · Jul 10, 2024 · 8bf01ca · 8bf01ca
1 parent 3bbd4fa
commit 8bf01ca
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -2,9 +2,6 @@
 @Library('metaborg.jenkins.pipeline') _
 
 gradlePipeline(
-  buildOtherBranch: false,
-  buildDevelopBranch: false,
-  buildTag: false,
   slack: true,
   slackChannel: '#spoofax3-dev',
   gradleBuildTasks: "build",