commit f3c6e03d4901629e9dd7d6e9bc404cdc53f7a3bc
author Frederic Gurr <frederic.gurr@eclipse-foundation.org> Mon Dec 07 17:34:14 2020 +0100
committer Frederic Gurr <frederic.gurr@eclipse-foundation.org> Thu Jan 14 18:52:45 2021 +0100
tree e8d28226fd07a71e8592330c375cd50ca943ec25
parent ce2badfc667f850c80f3c3d285e43c25290f1d3e

Change Jenkinsfile for running in Jiro environment

Change-Id: I0635441cc8d31bdc82bd8b56e17abd436a6602fc
Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 1e31f7a..df7900e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,11 @@
 pipeline {
-    agent any
+    agent {
+        node {
+            label 'promotion-vm'
+        }
+    }
     tools {
-        jdk 'jdk11-latest'
+        jdk 'openjdk-jdk11-latest'
         maven 'apache-maven-latest'
     }
     options {