From 018d71ce5aa88f8c46afd8cc37c9b01644ff3910 Mon Sep 17 00:00:00 2001
From: Thierry Devillechabrolle
<60743409+TDevillechabrolle@users.noreply.github.com>
Date: Fri, 24 Jul 2020 17:35:12 +0200
Subject: [PATCH] Update Jenkinsfile
Changed label from "contrib" to "java11" for building purpose
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 522f671a5..d4d1a0b8d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
pipeline {
agent {
- label 'contrib'
+ label 'java11'
}
environment {
--
GitLab