Use correct Gradle commands for build in Jenkins

metaborg · Jul 10, 2024 · e88a059 · e88a059
1 parent 27cfbb3
commit e88a059
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -6,5 +6,7 @@ gradlePipeline(
   buildDevelopBranch: false,
   buildTag: false,
   slack: true,
-  slackChannel: '#spoofax3-dev'
+  slackChannel: '#spoofax3-dev',
+  gradleBuildTasks: "build",
+  gradlePublishTasks: "publish"
 )