Add Jenkins configuration

eclipse-buildship · Jan 13, 2025 · c7ff835 · c7ff835
1 parent a4f020b
commit c7ff835
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,21 @@
+pipeline {
+    agent any
+
+    tools {
+        // https://github.com/eclipse-cbi/jiro/wiki/Tools-(JDK,-Maven,-Ant)#jdk
+        jdk 'openjdk-jdk11-latest'
+    }
+
+
+     triggers {
+        githubPush()
+    }
+
+     stages {
+        stage('Gradle Help') {
+            steps {
+                sh './gradlew compileJava'
+            }
+        }
+    }
+}