From ac9aa90ff29b95ef772fe7c5d7a0d76877b5ac26 Mon Sep 17 00:00:00 2001
From: Eyck Jentzsch <eyck@minres.com>
Date: Sat, 2 Dec 2023 14:32:05 +0100
Subject: [PATCH] corrects upper-/lower-case

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9f3be58..4ce4152 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -56,7 +56,7 @@ pipeline {
     }
 
     stages {
-        stage('tgc-VP pipeline') {
+        stage('TGC-VP pipeline') {
            parallel {
 	            stage('ubuntu20'){
 	                agent {docker { image 'ubuntu-20.04' } }