From 3c436ab8cb21ca4d6db4021d2ca8743567eca9ba Mon Sep 17 00:00:00 2001
From: Adrian Charkiewicz <adrcha2@st.amu.edu.pl>
Date: Mon, 21 Mar 2022 17:18:06 +0100
Subject: [PATCH] change something to see if push_trigger is working

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 6c5af15..20de016 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
     stages {
         stage('Stage 1') {
             steps {
-                echo 'Hello world3!' 
+                echo 'Hello world_check!' 
             }
         }
     }