From a6bced7983b7dafe5416b85153cc4a902dab40c3 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Mon, 18 Sep 2023 17:50:50 +0200
Subject: [PATCH] this is okay

---
 automation/Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index c2050cc..b9d4ea4 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -10,7 +10,6 @@ pipeline {
     stages {
         stage('Rust Toolchain Info') {
             steps {
-                echo "Rust Toolchain Version"
                 sh 'rustc --version'
             }
         }