Use correct Gradle commands for build in Jenkins

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