From 822eaa4c89b6aadf0bafff94d8867595cd340c2d Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Sun, 11 Jun 2023 12:01:26 +0200
Subject: [PATCH] removed empty `environment` block in Jenkinsfile which
 Jenkins does not like

diva....
---
 automation/Jenkinsfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 285f279..e63ff47 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -1,6 +1,4 @@
 pipeline {
-    environment {
-    }
     agent {
         docker {
             image 'eive-tmtc-ci:d1'