From e88a0595907096e43794e9f6c1dcb173e8ec6ef8 Mon Sep 17 00:00:00 2001
From: "Daniel A. A. Pelsmaeker" <developer@pelsmaeker.net>
Date: Wed, 10 Jul 2024 15:54:42 +0200
Subject: [PATCH] Use correct Gradle commands for build in Jenkins

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index feacbc56..01cce26d 100644
--- 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"
 )