From 73a633d25ae674cadfa798836e9b48b0405fb200 Mon Sep 17 00:00:00 2001
From: Frederic Gurr <frederic.gurr@eclipse-foundation.org>
Date: Thu, 15 Jun 2023 22:43:24 +0200
Subject: [PATCH] Revert "Add tools section"
This reverts commit 9ed646893f61f0d36fd9ad00869c5978e5a2588e.
---
Jenkinsfile | 5 -----
1 file changed, 5 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index cbfa1c9b..099775ad 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -112,11 +112,6 @@
timeout(time: 30, unit: 'MINUTES')
}
- tools {
- maven 'apache-maven-latest'
- jdk 'adoptopenjdk-hotspot-jdk11-latest'
- }
-
triggers {
// build once a week to keep up with parents images updates
cron('H H * * H')
--
GitLab